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 |
Wed, 11 Jan 1995 18:21:39 +0100 | lcp | Added Krzysztof's theorem LeastI2. Proof of sum_eqpoll_cong | changeset | files |
Wed, 11 Jan 1995 13:25:23 +0100 | wenzelm | pretty_gram: now sorts productions; | changeset | files |
Wed, 11 Jan 1995 10:57:39 +0100 | wenzelm | removed print_sign, print_axioms; | changeset | files |
Wed, 11 Jan 1995 10:53:22 +0100 | wenzelm | slightly changed OFCLASS syntax; | changeset | files |