| Thu, 29 Oct 1998 12:41:45 +0100 | paulson | auto update | changeset | files |
| Wed, 28 Oct 1998 13:25:09 +0100 | nipkow | Some more proofs. | changeset | files |
| Wed, 28 Oct 1998 11:25:38 +0100 | nipkow | added nat_diff_split and a few lemmas in Trancl. | changeset | files |
| Mon, 26 Oct 1998 13:05:08 +0100 | wenzelm | ML_SYSTEM=polyml-3.1; | changeset | files |
| Sun, 25 Oct 1998 12:33:27 +0100 | wenzelm | tuned checklist; | changeset | files |
| Sat, 24 Oct 1998 21:25:43 +0200 | wenzelm | official release; | changeset | files |
| Sat, 24 Oct 1998 21:21:21 +0200 | wenzelm | ML_SYSTEM factory default; | changeset | files |