path: root/examples/model/MathFre.gf

--# -path=.:present:prelude

concrete MathFre of Math = MathI with
  (Syntax = SyntaxFre), 
  (Lex = LexFre) ;