add SymbolBul, SymbolicBul, CompatibilityBul

2026-07-31 06:25:12 -06:00 · 2008-11-07 09:41:04 +00:00
parent e2de6a8555
commit 4a1bfac84b
3 changed files with 84 additions and 0 deletions
@@ -0,0 +1,5 @@
+--# -path=.:present:mathematical:prelude
+
+resource SymbolicBul = Symbolic with 
+  (Symbol = SymbolBul),
+  (Grammar = GrammarBul) ;