Mon, 13 Mar 2000 16:23:34 +0100 | wenzelm | case_tac now subsumes both boolean and datatype cases; | changeset | files |
Mon, 13 Mar 2000 15:42:19 +0100 | wenzelm | use cases; | changeset | files |
Mon, 13 Mar 2000 13:34:09 +0100 | wenzelm | * HOL: exhaust_tac on datatypes superceded by new case_tac; | changeset | files |
Mon, 13 Mar 2000 13:30:49 +0100 | wenzelm | renamed cases_tac to case_tac; | changeset | files |
Mon, 13 Mar 2000 13:28:31 +0100 | wenzelm | adapted to new PureThy.add_thms etc.; | changeset | files |
Mon, 13 Mar 2000 13:27:44 +0100 | wenzelm | removed cases_of; | changeset | files |