Hebrew RGL files added

2012-05-27 21:37:58 +00:00
parent 04db1cffaf
commit 13ecd007c0
16 changed files with 1347 additions and 0 deletions
@@ -0,0 +1,13 @@
+concrete VerbHeb of Verb = CatHeb ** open Prelude, ResHeb in {
+
+  flags optimize=all_subs ; flags coding=utf8 ; 
+
+ lin
+
+   UseV = predV ;
+
+   ComplSlash vp np = insertObj np vp ;
+
+   SlashV2a v = predV v ** {c2 = v.c2} ;
+
+}