| Wed, 05 Mar 2008 21:24:06 +0100 | wenzelm | put_thms: do not index facts here (affects prems/this/calculation in particular); | changeset | files |
| Wed, 05 Mar 2008 21:24:03 +0100 | wenzelm | explicit referencing of background facts; | changeset | files |
| Wed, 05 Mar 2008 14:34:39 +0100 | wenzelm | HOL/Library/RBT.thy; | changeset | files |
| Wed, 05 Mar 2008 14:14:50 +0100 | krauss | NEWS: RBTs, renamings in ZF | changeset | files |
| Wed, 05 Mar 2008 12:24:52 +0100 | krauss | Use conversions instead of simplifier. tuned | changeset | files |
| Tue, 04 Mar 2008 13:35:45 +0100 | urbanc | added new example | changeset | files |
| Mon, 03 Mar 2008 15:37:16 +0100 | haftmann | tuned | changeset | files |
| Mon, 03 Mar 2008 15:37:14 +0100 | haftmann | continued localization | changeset | files |