| Wed, 02 Aug 2006 22:26:58 +0200 | wenzelm | removed obsolete Drule.frees/vars_of etc.; | changeset | files |
| Wed, 02 Aug 2006 22:26:57 +0200 | wenzelm | normalized Proof.context/method type aliases; | changeset | files |
| Wed, 02 Aug 2006 22:26:56 +0200 | wenzelm | renamed Syntax.indexname to Syntax.read_indexname; | changeset | files |
| Wed, 02 Aug 2006 22:26:55 +0200 | wenzelm | Variable.focus_subgoal; | changeset | files |
| Wed, 02 Aug 2006 22:26:54 +0200 | wenzelm | replaced maxidx_of_proof by maxidx_proof; | changeset | files |
| Wed, 02 Aug 2006 22:26:53 +0200 | wenzelm | prems-limit: int_option; | changeset | files |
| Wed, 02 Aug 2006 22:26:52 +0200 | wenzelm | removed obsolete frees/vars_of etc.; | changeset | files |
| Wed, 02 Aug 2006 22:26:51 +0200 | wenzelm | fake predeclaration of type Proof.context; | changeset | files |