overloaded API to symbol

This commit is contained in:
aarne
2006-11-23 13:13:15 +00:00
parent a98411e27f
commit e513418f68
2 changed files with 42 additions and 0 deletions

View File

@@ -0,0 +1,5 @@
--# -path=.:../abstract:../common:../english:../mathematical:prelude
resource SymbolicEng = Symbolic with
(Symbol = SymbolEng),
(Grammar = GrammarEng) ;