| Tue, 03 Jul 2007 17:17:11 +0200 | wenzelm | moved (asm_)rewrite_goal_tac from goal.ML to meta_simplifier.ML (no longer depends on SELECT_GOAL); | changeset | files |
| Tue, 03 Jul 2007 17:17:09 +0200 | wenzelm | removed obsolete mk_conjunction_list, intr/elim_list; | changeset | files |
| Tue, 03 Jul 2007 17:17:09 +0200 | wenzelm | removed obsolete goals_conv (cf. prems_conv); | changeset | files |
| Tue, 03 Jul 2007 17:17:07 +0200 | wenzelm | Conjunction.intr/elim_balanced; | changeset | files |
| Tue, 03 Jul 2007 17:17:07 +0200 | wenzelm | CONVERSION tactical; | changeset | files |
| Tue, 03 Jul 2007 17:17:06 +0200 | wenzelm | Conjunction.mk_conjunction_balanced; | changeset | files |