| Sun, 25 Apr 2010 09:13:16 +0200 | Christian Urban | tuned and cleaned | file | diff | annotate |
| Sun, 18 Apr 2010 17:57:27 +0200 | Christian Urban | tuned; transformation functions now take a context, a thm and return a thm | file | diff | annotate |
| Wed, 14 Apr 2010 22:41:22 +0200 | Christian Urban | temporary fix for CoreHaskell | file | diff | annotate |