| 2010-04-26 | Christian Urban | rewrote eqvts_raw to be a symtab, that can be looked up | file | diff | annotate |
| 2010-04-25 | Christian Urban | tuned and cleaned | file | diff | annotate |
| 2010-04-18 | Christian Urban | tuned; transformation functions now take a context, a thm and return a thm | file | diff | annotate |
| 2010-04-14 | Christian Urban | temporary fix for CoreHaskell | file | diff | annotate |