*** empty log message ***

This commit is contained in:
janna
2004-11-09 09:54:09 +00:00
parent db58aa689a
commit 7e1710a596
6 changed files with 36 additions and 0 deletions

View File

@@ -34,6 +34,8 @@ oper
-- To abstract over number names, we define the following.
Number : Type ;
singular : Number ;
plural : Number ;
@@ -42,6 +44,8 @@ oper
-- dative is formed by the preposition "à", and the genitive by the
-- preposition "de".)
Case : Type ;
nominative : Case ;
accusative : Case ;
dative : Case ;
@@ -154,6 +158,8 @@ oper
--.
Gender = SyntaxFre.Gender ;
Case = SyntaxFre.Case ;
Number = SyntaxFre.Number ;
masculine = Types.Masc ;
feminine = Types.Fem ;