gf-3.3.3: lib/src/api/SymbolicHin.gf

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

resource SymbolicHin = Symbolic with 
  (Symbol = SymbolHin),
  (Grammar = GrammarHin) ;