ExtraDut.zullen_VV

2012-09-17 08:36:57 +00:00
parent d6d33332d5
commit 507dc623a9
3 changed files with 7 additions and 1 deletions
@@ -171,6 +171,7 @@ oper
  mkV2A : V -> Prep -> V2A ;
  mkVQ  : V -> VQ ;
  mkV2Q : V -> Prep -> V2Q ;
+
 --
 --  mkAS  : A -> AS ;
 --  mkA2S : A -> Prep -> A2S ;