Fin modules of NDTrans in place, but refactoring in needed

This commit is contained in:
aarne
2014-02-08 22:25:06 +00:00
parent 1c3d7ea22d
commit bd51fab5e0
12 changed files with 295 additions and 15 deletions

View File

@@ -0,0 +1,5 @@
concrete NDLiftFin of NDLift =
RGLBaseFin - [Pol,Tense]
,NDPredFin
** NDLiftFunctor with (Lift = LiftFin) ;