Thu, 10 Apr 1997 14:26:01 +0200 | nipkow | Deleted stupid proof at the end not needed anywhere. | file | diff | annotate |
Mon, 17 Feb 1997 11:04:00 +0100 | slotosch | Examples are adopted to the changes from HOLCF. | file | diff | annotate |
Fri, 31 Jan 1997 16:56:32 +0100 | oheimb | added Classlib.* and Witness.*, | file | diff | annotate |