factored out fun's for lifting RGL functions to Pred, and added some

2014-02-08 19:53:11 +00:00
parent 5103ae07d9
commit 10952232aa
13 changed files with 214 additions and 174 deletions
@@ -0,0 +1,5 @@
+concrete NDLiftEng of NDLift =
+   RGLBaseEng - [Pol,Tense]
+  ,NDPredEng 
+
+    ** NDLiftFunctor with (Lift = LiftEng) ;