started examples-3.0 with examples that are tested to work

This commit is contained in:
aarne
2008-06-17 13:16:15 +00:00
parent 9c30d94c28
commit ae171fc05f
56 changed files with 1728 additions and 6 deletions

View File

@@ -101,7 +101,7 @@ oper
--3 Other verbs
--
V2S, V2V, V2Q : Type = V2 ;
-- V2S, V2V, V2Q : Type = V2 ;
mkV2S : V -> Prep -> V2S ;
mkV2S v p = prepV2 v p ** {lock_V2 = <>} ;
@@ -179,4 +179,4 @@ oper
mkIAdv : Str -> IAdv ;
mkIAdv s = {s = table {QDir=>s;QIndir=>s+"ňî"}; lock_IAdv = <>} ;
}
}