Commit Graph

2 Commits

Author SHA1 Message Date
aarne
3e1d19b043 typo in NDLift ; roughly_AdV in Dictionary 2014-02-15 14:47:05 +00:00
aarne
2ff1587382 factored out fun's for lifting RGL functions to Pred, and added some 2014-02-08 19:53:11 +00:00