| Mon, 12 May 1997 14:31:20 +0200 | wenzelm | partially adapted to axclass / instance; | file | diff | annotate |
| Mon, 12 May 1997 14:24:31 +0200 | wenzelm | removed Witness; | 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 |