| Tue, 10 Jun 2008 23:28:35 +0200 | wenzelm | proper deletion of nat cases/induct rules from type_definition; | changeset | files |
| Tue, 10 Jun 2008 21:50:30 +0200 | wenzelm | fixed spelling (Where is WordExamples.thy anyway?); | changeset | files |
| Tue, 10 Jun 2008 21:50:05 +0200 | wenzelm | recovered nat_induct as default for induct_tac; | changeset | files |
| Tue, 10 Jun 2008 21:49:37 +0200 | wenzelm | more robust declaration of nat_induct; | changeset | files |
| Tue, 10 Jun 2008 21:49:11 +0200 | wenzelm | reordering of imports ensures that nat_induct stay in front; | changeset | files |
| Tue, 10 Jun 2008 19:45:53 +0200 | wenzelm | adhoc fix of induct_tac: rule nat_induct; | changeset | files |