path: root/examples/jem-math/MathFre.gf

--# -path=.:present

concrete MathFre of Math = MathI with
  (Syntax = SyntaxFre),
  (Mathematical = MathematicalFre),
  (LexMath = LexMathFre) ;