| 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 |
| Mon, 16 Jun 2008 22:13:52 +0200 | wenzelm | renamed rename_params_tac to rename_tac; | changeset | files |