Thu, 12 Jan 1995 03:00:38 +0100 | lcp | Proved equivalence of Ord and Ord_alt. Proved | changeset | files |
Wed, 11 Jan 1995 18:47:03 +0100 | lcp | Proved ord_isoI, ord_iso_refl. Simplified proof of | changeset | files |
Wed, 11 Jan 1995 18:42:06 +0100 | lcp | Proved cadd_cmult_distrib. | changeset | files |