1998-10-29 | paulson | auto update | changeset | files |
1998-10-28 | nipkow | Some more proofs. | changeset | files |
1998-10-28 | nipkow | added nat_diff_split and a few lemmas in Trancl. | changeset | files |
1998-10-26 | wenzelm | ML_SYSTEM=polyml-3.1; | changeset | files |
1998-10-25 | wenzelm | tuned checklist; | changeset | files |
1998-10-24 | wenzelm | official release; | changeset | files |
1998-10-24 | wenzelm | ML_SYSTEM factory default; | changeset | files |
Loading... |