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 |