path: root/old-examples/tutorial/embedded/MathFre.gf

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

concrete MathFre of Math = MathI with
  (Syntax = SyntaxFre), 
  (Symbol = SymbolFre), 
  (LexMath = LexMathFre) ;