| Tue, 27 Aug 2002 11:03:05 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Tue, 09 Jan 2001 15:36:30 +0100 | nipkow | ` -> $ | file | diff | annotate |
| Wed, 05 Jul 2000 16:37:52 +0200 | paulson | massive tidy-up: goal -> Goal, remove use of prems, etc. | file | diff | annotate |
| Tue, 10 Mar 1998 18:33:13 +0100 | oheimb | renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Thu, 26 Sep 1996 15:14:23 +0200 | paulson | Ran expandshort; used stac instead of ssubst | file | diff | annotate |
| Tue, 30 Jan 1996 13:42:57 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Thu, 29 Jun 1995 16:28:40 +0200 | regensbu | The curried version of HOLCF is now just called HOLCF. The old | file | diff | annotate |
| Tue, 07 Feb 1995 17:35:49 +0100 | regensbu | ID for the file | file | diff | annotate |
| Tue, 07 Feb 1995 17:26:32 +0100 | regensbu | CVS: | file | diff | annotate |