| Wed, 14 Apr 2010 10:29:34 +0200 | Christian Urban | preliminary tests | file | diff | annotate |
| Tue, 13 Apr 2010 07:40:54 +0200 | Christian Urban | made everything to compile | file | diff | annotate |
| Tue, 13 Apr 2010 00:53:32 +0200 | Christian Urban | some small tunings (incompleted work in Lambda.thy) | file | diff | annotate |
| Mon, 12 Apr 2010 17:44:26 +0200 | Christian Urban | early ott paper | 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 |
| Sun, 11 Apr 2010 18:11:13 +0200 | Christian Urban | a few tests | file | diff | annotate |