| Wed, 17 Feb 2016 23:28:58 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 17 Feb 2016 23:15:47 +0100 | wenzelm | clarified file names; | changeset | files |
| Wed, 17 Feb 2016 23:06:24 +0100 | wenzelm | SML/NJ is no longer supported; | changeset | files |
| Wed, 17 Feb 2016 21:51:58 +0100 | haftmann | dropped various legacy fact bindings and tuned proofs | changeset | files |