| 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 |