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