path: root/old-lib/resource/mathematical/SymbolicCat.gf

--# -path=.:present:mathematical:prelude

resource SymbolicCat = Symbolic with 
  (Symbol = SymbolCat),
  (Grammar = GrammarCat) ;