| Wed, 26 Mar 1997 18:51:57 +0100 | nipkow | Cleaned up a little. | changeset | files |
| 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 |
| Tue, 25 Mar 1997 11:13:12 +0100 | slotosch | changed continuous functions from pcpo to cpo (including instances) | changeset | files |
| Tue, 25 Mar 1997 10:43:01 +0100 | paulson | Trivial renamings (for consistency with CSFW papers) | changeset | files |