| Sun, 02 May 2010 16:00:52 +0100 | Christian Urban | removed duplicate eqvt attribute | changeset | files |
| Sun, 02 May 2010 14:06:26 +0100 | Christian Urban | attempted to remove dependency on (old) Fv and (old) Parser; lifting still uses Fv.thy; the examples do not work at the moment (with equivp proofs failing) | changeset | files |
| Sat, 01 May 2010 09:15:46 +0100 | Christian Urban | merged | changeset | files |
| Sat, 01 May 2010 09:14:25 +0100 | Christian Urban | tuned | changeset | files |
| Fri, 30 Apr 2010 16:31:43 +0100 | Christian Urban | replaced hide by the new hide_const | changeset | files |
| Fri, 30 Apr 2010 15:36:02 +0100 | Christian Urban | generalised the fs-instance lemma (not just fsets of atoms are finitely supported, but also fsets of finitely supported elements) | changeset | files |