--# -path=.:../romance:../abstract:../../prelude

concrete MathFre of Math = CategoriesFre **
  MathRomance with (SyntaxRomance=SyntaxFre) ;