| Thu, 20 Feb 1997 14:59:02 +0100 | wenzelm | made a bit more robust; | changeset | files |
| Mon, 17 Feb 1997 18:12:03 +0100 | wenzelm | manual steps comment; | changeset | files |
| Mon, 17 Feb 1997 17:55:45 +0100 | wenzelm | *** empty log message *** | changeset | files |
| 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 |