gfcm header

This commit is contained in:
aarne
2004-09-14 17:05:46 +00:00
parent 1ad8ce57b5
commit 2581833f0f

View File

@@ -26,6 +26,8 @@ resource ParadigmsEng = open (Predef=Predef), Prelude, SyntaxEng, ResourceEng in
-- To abstract over gender names, we define the following identifiers. -- To abstract over gender names, we define the following identifiers.
oper oper
Gender : Type = SyntaxEng.Gender ;
human : Gender ; human : Gender ;
nonhuman : Gender ; nonhuman : Gender ;