added TryX modules for trying out resource API

This commit is contained in:
aarne
2007-10-09 08:58:48 +00:00
parent 67420e3c9d
commit 85ad81743e
19 changed files with 70 additions and 33 deletions

View File

@@ -258,12 +258,12 @@ mkV2 : overload {
mkAV : A -> AV ;
mkA2V : A -> Prep -> A2V ;
-- Notice: categories $V2S, V2V, V2A, V2Q$ are in v 1.0 treated
-- Notice: categories $V2S, V2V, V2Q$ are in v 1.0 treated
-- just as synonyms of $V2$, and the second argument is given
-- as an adverb. Likewise $AS, A2S, AV, A2V$ are just $A$.
-- $V0$ is just $V$.
V0, V2S, V2V, V2A, V2Q : Type ;
V0, V2S, V2V, V2Q : Type ;
AS, A2S, AV, A2V : Type ;
@@ -438,7 +438,7 @@ mkV2 : overload {
mkVV v = v ** {isAux = False ; lock_VV = <>} ;
V0 : Type = V ;
V2S, V2V, V2Q, V2A : Type = V2 ;
V2S, V2V, V2Q : Type = V2 ;
AS, A2S, AV : Type = A ;
A2V : Type = A2 ;