src/HOLCF/HOLCF.thy
Sat, 03 Nov 2001 01:41:26 +0100 wenzelm GPLed;
Sun, 25 May 1997 18:45:25 +0200 slotosch Eliminated ccc1. Moved ID,oo into Cfun.
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:
Mon, 09 Dec 1996 19:16:20 +0100 sandnerr Theories Lift1, Lift2 and Lift3 inserted below HOLCF.thy
Tue, 06 Feb 1996 12:42:31 +0100 clasohm expanded tabs
Fri, 06 Oct 1995 17:25:24 +0100 regensbu added 8bit pragmas
Wed, 19 Jan 1994 17:35:01 +0100 nipkow Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
less more (0) tip