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 |
Wed, 11 Jan 1995 18:30:37 +0100 | lcp | Now proof of Ord_jump_cardinal uses | changeset | files |