| 2000-03-14 | wenzelm | invoke_case: include attributes; | changeset | files |
| 2000-03-14 | wenzelm | 'cases' and 'induct' methods; | changeset | files |
| 2000-03-14 | wenzelm | tuned 'case'; | changeset | files |
| 2000-03-14 | wenzelm | added 'case' command; | changeset | files |
| 2000-03-14 | wenzelm | added \NEXT; | changeset | files |
| 2000-03-13 | wenzelm | proper symbol_output for "xsymbols" mode; | changeset | files |
| 2000-03-13 | wenzelm | replaced exhaust_tac by case_tac; | changeset | files |
| 2000-03-13 | wenzelm | renamed cases_tac to case_tac; | changeset | files |
| 2000-03-13 | wenzelm | case_tac now subsumes both boolean and datatype cases; | changeset | files |
| 2000-03-13 | wenzelm | use cases; | changeset | files |
| 2000-03-13 | wenzelm | * HOL: exhaust_tac on datatypes superceded by new case_tac; | changeset | files |
| 2000-03-13 | wenzelm | renamed cases_tac to case_tac; | changeset | files |
| Loading... | |||