src/HOLCF/HOLCF.thy
1997-05-25 slotosch Eliminated ccc1. Moved ID,oo into Cfun.
1997-03-26 nipkow Added "discrete" CPOs and modified IMP to use those rather than "lift"
1997-02-17 slotosch Changes of HOLCF from Oscar Slotosch:
1996-12-09 sandnerr Theories Lift1, Lift2 and Lift3 inserted below HOLCF.thy
1996-02-06 clasohm expanded tabs
1995-10-06 regensbu added 8bit pragmas
1994-01-19 nipkow Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
less more (0) tip