src/HOLCF/Porder0.thy
Fri, 23 May 1997 09:20:35 +0200 nipkow Base theory is now Arith, not Nat. (because all datatypes now require Arith).
Tue, 01 Apr 1997 11:16:06 +0200 wenzelm removed useless symbol font syntax;
Mon, 17 Feb 1997 10:57:11 +0100 slotosch Changes of HOLCF from Oscar Slotosch:
Fri, 13 Dec 1996 18:45:58 +0100 oheimb adaptions for symbol font
Mon, 02 Dec 1996 12:37:15 +0100 oheimb removed 8bit sections
Fri, 29 Nov 1996 12:22:22 +0100 oheimb *** empty log message ***
Tue, 06 Feb 1996 12:42:31 +0100 clasohm expanded tabs
Fri, 06 Oct 1995 17:25:24 +0100 regensbu added 8bit pragmas
Wed, 29 Jun 1994 12:03:41 +0200 clasohm added parentheses made necessary by change of constrain's precedence
Thu, 24 Mar 1994 13:43:45 +0100 nipkow structural induction for strict lists
less more (0) tip