corrections in Attempto grammars

This commit is contained in:
aarne
2008-11-08 09:38:32 +00:00
parent 4e921573f4
commit cbec29962e
9 changed files with 48 additions and 34 deletions

View File

@@ -4,7 +4,7 @@ instance LexAttemptoSwe of LexAttempto =
oper
possible_A = mkA "möjlig" ;
necessary_A = mkA "nödvändig" ;
own_A = mkA "egen" ;
own_A = mkA "egen" "eget" "egna" "egnare" "egnast" ;
have_VV = must_VV ;
provably_Adv = mkAdv "bevisbart" ;
provable_A = mkA "bevisbar" ;