Fri, 14 Sep 2007 13:32:07 +0200 | urbanc | reverted back to the old version of the equivariance lemma for ALL | changeset | files |
Thu, 13 Sep 2007 23:58:38 +0200 | urbanc | some cleaning up to do with contexts | changeset | files |
Thu, 13 Sep 2007 18:11:59 +0200 | berghofe | Generalized equivariance and nominal_inductive commands to | changeset | files |
Thu, 13 Sep 2007 18:08:08 +0200 | berghofe | Added equivariance lemmas for induct_forall. | changeset | files |
Thu, 13 Sep 2007 18:06:50 +0200 | berghofe | Added equivariance lemma for induct_implies. | changeset | files |
Tue, 11 Sep 2007 14:26:49 +0200 | webertj | typo fixed, dead link removed | changeset | files |