| 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 |
| Wed, 14 Apr 2010 18:46:59 +0200 | Christian Urban | thmdecls can deal with lemmas like alpha_gen which contain pairs or tuples | file | diff | annotate |
| Wed, 14 Apr 2010 16:05:58 +0200 | Christian Urban | tuned and removed dead code | file | diff | annotate |
| Wed, 14 Apr 2010 15:02:07 +0200 | Christian Urban | moved a couple of more functions to the library | file | diff | annotate |
| Mon, 12 Apr 2010 13:34:54 +0200 | Christian Urban | implemented in thmdecls the case where eqvt-lemmas are of the form _ ==> _ | file | diff | annotate |
| Sun, 11 Apr 2010 22:48:49 +0200 | Christian Urban | fixed bug in thmdecls with destructing Trueprop; some initial infrastructure for eqvt-theorems of the form _ ==> _ | file | diff | annotate |