| Mon, 23 Jun 2008 15:51:37 +0200 | wenzelm | removed obsolete dest_concls; | changeset | files |
| Mon, 23 Jun 2008 15:31:25 +0200 | wenzelm | induct_tac: mutual rules work as for method "induct"; | changeset | files |
| Mon, 23 Jun 2008 15:26:53 +0200 | wenzelm | tuned get_inductT: *all* rules for missing instantiation; | changeset | files |