This commit is contained in:
Inari Listenmaa
2020-09-12 18:55:54 +02:00
committed by Roman Suzi
parent 6661bdff95
commit 42fb9fd465
3 changed files with 4 additions and 26 deletions
-2
View File
@@ -102,8 +102,6 @@ oper
fut : SpecialFuture ;
asp : Aspect ;
refltran : ReflTran ;
-- refl : Reflexivity ;
-- tran : Transitivity
} ;
ComplementCase : Type = {s : Str ; c : Case ; hasPrep : Bool} ;
VerbForms2 : Type = VerbForms ** {c : ComplementCase} ;