| Wed, 11 Jun 2008 15:40:44 +0200 | wenzelm | RuleInsts.res_inst_tac with proper context; | changeset | files |
| Wed, 11 Jun 2008 15:40:20 +0200 | wenzelm | more antiquotations; | changeset | files |
| Wed, 11 Jun 2008 11:20:10 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 11 Jun 2008 09:08:52 +0200 | haftmann | explicit rule for induct_tac | changeset | files |
| Tue, 10 Jun 2008 23:49:55 +0200 | wenzelm | tuned spacing; | changeset | files |
| Tue, 10 Jun 2008 23:45:53 +0200 | wenzelm | updated generated file; | changeset | files |
| Tue, 10 Jun 2008 23:45:51 +0200 | wenzelm | * Attributes cases, induct, coinduct support del option. | changeset | files |