| Tue, 10 Jun 2008 19:15:23 +0200 | wenzelm | nat_induct_tac (works without context); | changeset | files |
| Tue, 10 Jun 2008 19:15:23 +0200 | wenzelm | moved case_tac/induct_tac to induct_tacs.ML -- no longer hardwired into datatype package; | changeset | files |
| Tue, 10 Jun 2008 19:15:21 +0200 | wenzelm | added nat_induct_tac (works without context); | changeset | files |