Fri, 03 Mar 2000 21:02:45 +0100 | wenzelm | added con_elim_s(olved_)tac; | changeset | files |
Fri, 03 Mar 2000 21:01:57 +0100 | wenzelm | mk_cases / inductive_cases: use InductMethod.con_elim_(solved_)tac; | changeset | files |
Fri, 03 Mar 2000 21:00:58 +0100 | wenzelm | added multi_resolveq, resolveq_tac; | changeset | files |