Fri, 13 Jan 2006 01:12:58 +0100 | wenzelm | ProofContext.def_export; | changeset | files |
Wed, 11 Jan 2006 18:46:31 +0100 | urbanc | updated to new induction principle | changeset | files |
Wed, 11 Jan 2006 18:39:19 +0100 | urbanc | cahges to use the new induction-principle (now proved in | changeset | files |