Tue, 22 Feb 2000 21:50:02 +0100 | wenzelm | tuned "induct" syntax; | changeset | files |
Tue, 22 Feb 2000 21:49:34 +0100 | wenzelm | "cases" method; | changeset | files |
Tue, 22 Feb 2000 21:48:50 +0100 | wenzelm | added cases_tac; | changeset | files |
Tue, 22 Feb 2000 21:48:24 +0100 | wenzelm | induct: tuned syntax; | changeset | files |
Tue, 22 Feb 2000 21:45:20 +0100 | wenzelm | added cases_of, cases; | changeset | files |
Tue, 22 Feb 2000 21:39:38 +0100 | wenzelm | removed case_split thm binding; | changeset | files |
Tue, 22 Feb 2000 21:39:01 +0100 | wenzelm | added boolN; | changeset | files |