| Mon, 17 Feb 1997 17:24:24 +0100 | slotosch | described changes for HOLCF-Version without rules and arities | changeset | files |
| Mon, 17 Feb 1997 17:23:14 +0100 | wenzelm | file moved; | changeset | files |
| Mon, 17 Feb 1997 17:22:50 +0100 | wenzelm | file moved here; | changeset | files |
| Mon, 17 Feb 1997 17:22:19 +0100 | wenzelm | configure - adapt Isabelle distribution to system environment | changeset | files |