gf-3.1.6: lib/src/api/SymbolicEng.gf

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

resource SymbolicEng = Symbolic with 
  (Symbol = SymbolEng),
  (Grammar = GrammarEng) ;