diff options
| author | krasimir <krasimir@chalmers.se> | 2008-11-07 09:41:04 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-11-07 09:41:04 +0000 |
| commit | 4a1bfac84b24b17dd973c31bade986762a7b65b6 (patch) | |
| tree | 1341755be8d23b1d11d2357e35b9ecc4f1f888ad /next-lib/src/api | |
| parent | e2de6a8555294915074a2db83eb41f3449f74025 (diff) | |
add SymbolBul, SymbolicBul, CompatibilityBul
Diffstat (limited to 'next-lib/src/api')
| -rw-r--r-- | next-lib/src/api/SymbolicBul.gf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/next-lib/src/api/SymbolicBul.gf b/next-lib/src/api/SymbolicBul.gf new file mode 100644 index 000000000..1fa5fd4c0 --- /dev/null +++ b/next-lib/src/api/SymbolicBul.gf @@ -0,0 +1,5 @@ +--# -path=.:present:mathematical:prelude + +resource SymbolicBul = Symbolic with + (Symbol = SymbolBul), + (Grammar = GrammarBul) ; |