| Thu, 24 Apr 1997 17:51:27 +0200 | mueller | deleted definitions for blift and plift | file | diff | annotate |
| Tue, 11 Mar 1997 14:21:10 +0100 | wenzelm | tr is (again) type abbrev; | file | diff | annotate |
| Fri, 07 Mar 1997 15:28:22 +0100 | wenzelm | "bool lift" now syntax instead of type abbrev; | file | diff | annotate |
| Tue, 04 Mar 1997 10:58:29 +0100 | paulson | Renamed constant "not" to "Not" | file | diff | annotate |
| Mon, 17 Feb 1997 16:31:37 +0100 | oheimb | corrected type of plift | file | diff | annotate |
| Mon, 17 Feb 1997 10:57:11 +0100 | slotosch | Changes of HOLCF from Oscar Slotosch: | file | diff | annotate |