gf-3.4: lib/src/api/SymbolicPes.gf

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

resource SymbolicPes = Symbolic with 
  (Symbol = SymbolPes),
  (Grammar = GrammarPes) ;