| Sat, 14 Jun 2008 23:20:07 +0200 | wenzelm | simplified InductTacs.case_tac/induct_tac; | changeset | files |
| Sat, 14 Jun 2008 23:20:06 +0200 | wenzelm | tuned proof; | changeset | files |
| Sat, 14 Jun 2008 23:20:05 +0200 | wenzelm | removed obsolete nat_induct_tac -- cannot work without; | changeset | files |