| Wed, 30 Jan 2002 12:22:40 +0100 | paulson | Multiset: added the translation Mult(A) => A-||>nat-{0} | changeset | files |
| Mon, 28 Jan 2002 23:35:20 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 28 Jan 2002 18:51:48 +0100 | wenzelm | GPLed; | changeset | files |
| Mon, 28 Jan 2002 18:50:23 +0100 | wenzelm | tuned header; | changeset | files |
| Mon, 28 Jan 2002 18:48:25 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 28 Jan 2002 17:52:13 +0100 | schirmer | Bali added | changeset | files |
| Mon, 28 Jan 2002 17:00:19 +0100 | schirmer | Isabelle/Bali sources; | changeset | files |
| Sat, 26 Jan 2002 19:20:01 +0100 | wenzelm | Isar cases/induct: no backtracking; | changeset | files |