gf-3.1.6: examples/jem-math/MathSpa.gf

--# -path=.:present

concrete MathSpa of Math = MathI with
  (Syntax = SyntaxSpa),
  (Mathematical = MathematicalSpa),
  (LexMath = LexMathSpa) ;