Fri, 31 Jan 1997 16:57:45 +0100 | oheimb | reflecting the changes made in HOLCF/ex and HOLCF/explicit_domains | changeset | files |
Fri, 31 Jan 1997 16:56:32 +0100 | oheimb | added Classlib.* and Witness.*, | changeset | files |
Fri, 31 Jan 1997 16:51:58 +0100 | oheimb | moved Coind.*, Dagstuhl.*, Focus_ex.* to HOLCF/ex, | changeset | files |