path: root/old-examples/model/MathEng.gf

--# -path=.:present:prelude

concrete MathEng of Math = MathI with
  (Syntax = SyntaxEng), 
  (Lex = LexEng) ;