Wed, 26 Mar 1997 17:58:48 +0100 | nipkow | Added "discrete" CPOs and modified IMP to use those rather than "lift" | changeset | files |
Wed, 26 Mar 1997 13:44:05 +0100 | slotosch | generalized theorems and class instances for Cprod. | changeset | files |
Tue, 25 Mar 1997 11:19:09 +0100 | slotosch | changed some theorems from pcpo to cpo | changeset | files |