| 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 |