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