made AllDut import ExtendDut

This commit is contained in:
Aarne Ranta
2018-04-25 10:46:40 +02:00
parent 2de326e8a3
commit db1ecda1f6
4 changed files with 13 additions and 12 deletions
+1 -1
View File
@@ -34,7 +34,7 @@ concrete CatDut of Cat =
-- Verb
VP = ResDut.VP ;
VPSlash = ResDut.VP ** {c2 : Preposition * Bool} ;
VPSlash = ResDut.VP ** {c2 : Preposition * Bool} ; -- False = empty prep
Comp = {s : Agr => Str} ;
-- Adjective