| Tue, 13 Apr 2010 00:53:48 +0200 | Christian Urban | merged | changeset | files |
| Tue, 13 Apr 2010 00:53:32 +0200 | Christian Urban | some small tunings (incompleted work in Lambda.thy) | changeset | files |
| Tue, 13 Apr 2010 00:47:57 +0200 | Christian Urban | moved equivariance of map into Nominal2_Eqvt file | changeset | files |
| Mon, 12 Apr 2010 17:44:26 +0200 | Christian Urban | early ott paper | changeset | files |
| Mon, 12 Apr 2010 17:05:19 +0200 | Cezary Kaliszyk | Porting lemmas from Quotient package FSet to new FSet. | changeset | files |
| Mon, 12 Apr 2010 14:31:23 +0200 | Christian Urban | added alpha-caml paper | changeset | files |
| Mon, 12 Apr 2010 13:34:54 +0200 | Christian Urban | implemented in thmdecls the case where eqvt-lemmas are of the form _ ==> _ | changeset | files |
| 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 _ ==> _ | changeset | files |