| Mon, 16 Jun 2008 22:13:52 +0200 | wenzelm | renamed rename_params_tac to rename_tac; | changeset | files |
| Mon, 16 Jun 2008 22:13:50 +0200 | wenzelm | removed obsolete global instantiation tactics (cf. Isar/rule_insts.ML); | changeset | files |
| Mon, 16 Jun 2008 22:13:49 +0200 | wenzelm | removed obsolete no_qed, quick_and_dirty_prove_goalw_cterm; | changeset | files |
| Mon, 16 Jun 2008 22:13:47 +0200 | wenzelm | removed obsolete global read_insts/read_instantiate (cf. Isar/rule_insts.ML); | changeset | files |
| Mon, 16 Jun 2008 22:13:46 +0200 | wenzelm | inst1_tac: proper context; | changeset | files |
| Mon, 16 Jun 2008 22:13:39 +0200 | wenzelm | pervasive RuleInsts; | changeset | files |