1 2 3 4 5 6 7 8
instance LexMathFre of LexMath = open SyntaxFre, ParadigmsFre in { oper even_A = mkA "pair" ; odd_A = mkA "impair" ; prime_A = mkA "premier" ; }