| Mon, 26 Feb 2007 23:18:26 +0100 | wenzelm | added more_thm.ML; | changeset | files |
| Mon, 26 Feb 2007 23:18:24 +0100 | wenzelm | moved eq_thm etc. to structure Thm in Pure/more_thm.ML; | changeset | files |
| Mon, 26 Feb 2007 21:34:16 +0100 | krauss | Added formalization of size-change principle (experimental). | changeset | files |
| Mon, 26 Feb 2007 20:14:52 +0100 | wenzelm | added theorems_of; | changeset | files |
| Mon, 26 Feb 2007 20:14:47 +0100 | wenzelm | removed obsolete theorem_space; | changeset | files |
| Mon, 26 Feb 2007 15:08:37 +0100 | krauss | Added lemma lfp_const: "lfp (%x. t) = t | changeset | files |
| Fri, 23 Feb 2007 08:39:28 +0100 | haftmann | exported serializer parsers | changeset | files |