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 |