Thu, 12 Jan 1995 10:39:47 +0100 | lcp | Proved sum_bij, sum_ord_iso_cong, prod_bij, | changeset | files |
Thu, 12 Jan 1995 03:04:10 +0100 | lcp | Proved case_cong and case_case. | changeset | files |
Thu, 12 Jan 1995 03:03:45 +0100 | lcp | Renamed single_fun to singleton_fun. | changeset | files |