src/HOLCF/Fix.thy
Sat, 03 Nov 2001 01:41:26 +0100 wenzelm GPLed;
Tue, 09 Jan 2001 15:32:27 +0100 nipkow *** empty log message ***
Fri, 24 Jul 1998 13:44:27 +0200 berghofe Adapted to new datatype package.
Tue, 10 Mar 1998 18:33:13 +0100 oheimb renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Sun, 25 May 1997 16:59:40 +0200 slotosch Moved the classes flat chfin from Fix to Pcpo.
Sun, 25 May 1997 16:17:09 +0200 slotosch Eliminated the prediates flat,chfin
Wed, 26 Mar 1997 17:58:48 +0100 nipkow Added "discrete" CPOs and modified IMP to use those rather than "lift"
Mon, 17 Feb 1997 10:57:11 +0100 slotosch Changes of HOLCF from Oscar Slotosch:
Fri, 29 Nov 1996 12:15:33 +0100 oheimb renamed is_flat to flat,
Thu, 12 Sep 1996 17:28:06 +0200 oheimb added comment on is_flat
Tue, 25 Jun 1996 13:18:54 +0200 berghofe Changed argument order of nat_rec.
Tue, 06 Feb 1996 12:42:31 +0100 clasohm expanded tabs
Wed, 20 Dec 1995 16:28:51 +0100 regensbu changed predicate flat to is_flat in theory Fix.thy
Thu, 29 Jun 1995 16:28:40 +0200 regensbu The curried version of HOLCF is now just called HOLCF. The old
Wed, 21 Jun 1995 15:14:58 +0200 clasohm removed \...\ inside strings
Wed, 29 Jun 1994 12:03:41 +0200 clasohm added parentheses made necessary by change of constrain's precedence
Wed, 19 Jan 1994 17:35:01 +0100 nipkow Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
less more (0) tip