| Wed, 18 Jun 2008 18:54:57 +0200 | wenzelm | simplified Abel_Cancel setup; | changeset | files |
| Wed, 18 Jun 2008 16:55:44 +0200 | wenzelm | updated generated file; | changeset | files |
| Wed, 18 Jun 2008 16:55:21 +0200 | wenzelm | pervasive cut_inst_tac; | changeset | files |
| Tue, 17 Jun 2008 04:19:50 +0200 | urbanc | added a progress lemma and tuned some comments | changeset | files |
| Mon, 16 Jun 2008 22:20:59 +0200 | wenzelm | * Rules and tactics that read instantiations now demand a proper context; | changeset | files |
| Mon, 16 Jun 2008 22:13:54 +0200 | wenzelm | added instantiate_tac, cut_inst_tac, forw_inst_tac, dres_inst_tac, make_elim_preserve (from tactic.ML); | changeset | files |