| Sat, 26 Jan 2002 19:20:01 +0100 | wenzelm | Isar cases/induct: no backtracking; | changeset | files |
| Sat, 26 Jan 2002 19:17:15 +0100 | wenzelm | cases: really append cases_default; | changeset | files |
| Sat, 26 Jan 2002 19:15:51 +0100 | wenzelm | generic DETERM; | changeset | files |