| 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 |