src/HOLCF/IMP/Denotational.ML
Sun, 25 May 1997 16:57:19 +0200 slotosch *** empty log message ***
Sun, 25 May 1997 16:17:09 +0200 slotosch Eliminated the prediates flat,chfin
Fri, 16 May 1997 17:14:55 +0200 oheimb renamed unsafe_addss to addss
Thu, 27 Mar 1997 17:46:24 +0100 nipkow Optimized proofs.
Wed, 26 Mar 1997 17:58:48 +0100 nipkow Added "discrete" CPOs and modified IMP to use those rather than "lift"
Mon, 17 Mar 1997 15:37:41 +0100 nipkow The HOLCF-based den. sem. of IMP.
less more (0) tip