fixes in Attempto

This commit is contained in:
aarne
2010-01-04 21:19:13 +00:00
parent 9cc1d15efe
commit 6d0f248b67
10 changed files with 48 additions and 33 deletions

View File

@@ -27,4 +27,6 @@ oper
eachOf np = mkNP (mkPredet "chacun" "chacune" genitive P.True) np ;
adj_thatCl : A -> S -> Cl = \a,s -> mkCl (mkVP (mkAP (mkAP a) s)) ;
}