| 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 |
| Tue, 22 Feb 2000 20:16:07 +0100 | wenzelm | proper variant names (admit field "r"); | changeset | files |
| Tue, 22 Feb 2000 10:51:13 +0100 | paulson | three easy new examples | changeset | files |
| Mon, 21 Feb 2000 14:10:21 +0100 | wenzelm | tuned footnote; | changeset | files |
| Mon, 21 Feb 2000 14:09:40 +0100 | wenzelm | HOL/record: fixed select-update simplification procedure to handle | changeset | files |
| Mon, 21 Feb 2000 14:09:18 +0100 | wenzelm | var: skolem; | changeset | files |