| Fri, 14 Sep 2007 17:02:34 +0200 | wenzelm | moved ML_XXX.ML files to Pure/ML; | changeset | files |
| Fri, 14 Sep 2007 15:27:12 +0200 | paulson | tidied | changeset | files |
| 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 |