Mon, 07 Nov 2005 19:03:02 +0100 | wenzelm | avoid 'as' as identifier; | changeset | files |
Mon, 07 Nov 2005 18:50:53 +0100 | wenzelm | avoid 'as' as identifier; | changeset | files |
Mon, 07 Nov 2005 18:32:54 +0100 | berghofe | Added strong induction theorem (currently only axiomatized!). | changeset | files |
Mon, 07 Nov 2005 15:19:03 +0100 | urbanc | Initial commit. | changeset | files |
Mon, 07 Nov 2005 15:12:13 +0100 | urbanc | Initial commit of the theory "Weakening". | changeset | files |
Mon, 07 Nov 2005 14:35:25 +0100 | urbanc | added thms perm, distinct and fresh to the simplifier. | changeset | files |