Commit Graph

4 Commits

Author SHA1 Message Date
aarne 0a70bc38a9 NDTransChi compiles 2014-03-09 22:15:50 +00:00
aarne 9678492c61 missing Pred functions in Fin 2014-03-09 10:38:03 +00:00
aarne bf37be1ac7 ported (most of) the new structures to PredFin 2014-02-16 09:50:26 +00:00
aarne 36058011a1 Fin modules of NDTrans in place, but refactoring in needed 2014-02-08 22:25:06 +00:00