Commit Graph
1 Commits
Author SHA1 Message Date
aarne 10952232aa factored out fun's for lifting RGL functions to Pred, and added some 2014-02-08 19:53:11 +00:00