| Wed, 02 Aug 2006 22:26:47 +0200 | wenzelm | renamed thm_vars to thm_varnames; | changeset | files |
| Wed, 02 Aug 2006 22:26:46 +0200 | wenzelm | removed obsolete Drule.freeze_all -- now uses legacy Drule.freeze_thaw; | changeset | files |
| Wed, 02 Aug 2006 22:26:45 +0200 | wenzelm | export get_hints; | changeset | files |
| Wed, 02 Aug 2006 22:26:44 +0200 | wenzelm | normalized Proof.context/method type aliases; | changeset | files |
| Wed, 02 Aug 2006 22:26:41 +0200 | wenzelm | normalized Proof.context/method type aliases; | changeset | files |
| Wed, 02 Aug 2006 22:26:40 +0200 | wenzelm | simplified Assumption/ProofContext.export; | changeset | files |
| Wed, 02 Aug 2006 22:26:39 +0200 | wenzelm | replaced obsolete standard/freeze_all by Variable.trade; | changeset | files |