ExtraDut.zullen_VV

This commit is contained in:
aarne
2012-09-17 08:36:57 +00:00
parent bc22121447
commit 520799f320
3 changed files with 7 additions and 1 deletions
+1
View File
@@ -171,6 +171,7 @@ oper
mkV2A : V -> Prep -> V2A ;
mkVQ : V -> VQ ;
mkV2Q : V -> Prep -> V2Q ;
--
-- mkAS : A -> AS ;
-- mkA2S : A -> Prep -> A2S ;