Thu, 15 Dec 1994 11:50:53 +0100 | lcp | case_ss: now built upon ZF/Order/bij_inverse_ss. Deleted | changeset | files |
Thu, 15 Dec 1994 11:17:49 +0100 | lcp | updated comment; | changeset | files |
Thu, 15 Dec 1994 11:08:22 +0100 | lcp | qconverse_qconverse, qconverse_prod: renamed from | changeset | files |