diff options
Diffstat (limited to 'examples/model/MathI.gf')
| -rw-r--r-- | examples/model/MathI.gf | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/examples/model/MathI.gf b/examples/model/MathI.gf index 7acf0f895..1d049633c 100644 --- a/examples/model/MathI.gf +++ b/examples/model/MathI.gf @@ -1,5 +1,5 @@ incomplete concrete MathI of Math = - open Grammar, Combinators, Predication, Lex in { + open Syntax, Lex in { flags startcat = Prop ; @@ -8,9 +8,9 @@ incomplete concrete MathI of Math = Elem = NP ; lin - And x y = coord and_Conj x y ; - Even x = PosCl (pred even_A x) ; - Odd x = PosCl (pred odd_A x) ; - Zero = UsePN zero_PN ; + And x y = mkS and_Conj x y ; + Even x = mkS (mkCl x even_A) ; + Odd x = mkS (mkCl x odd_A) ; + Zero = mkNP zero_PN ; } |