From 4a1bfac84b24b17dd973c31bade986762a7b65b6 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 7 Nov 2008 09:41:04 +0000
Subject: add SymbolBul, SymbolicBul, CompatibilityBul

---
 next-lib/src/api/SymbolicBul.gf | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 next-lib/src/api/SymbolicBul.gf

(limited to 'next-lib/src/api')

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) ;
-- 
cgit v1.2.3