Fri, 09 Dec 1994 16:42:09 +0100 | wenzelm | improved axioms_of: returns thms as the manual says; | changeset | files |
Fri, 09 Dec 1994 13:39:52 +0100 | clasohm | removed ZF_Lemmas and added qed_goal | changeset | files |
Fri, 09 Dec 1994 13:05:03 +0100 | clasohm | added warning for already stored theorem to store_thm | changeset | files |
Thu, 08 Dec 1994 16:42:58 +0100 | lcp | sum_ss: moved down and added the rewrite rules for "case" | changeset | files |
Thu, 08 Dec 1994 16:07:12 +0100 | lcp | leI: added comment | changeset | files |
Thu, 08 Dec 1994 15:37:28 +0100 | lcp | lt_eq_pred, Ord_iso_implies_eq: new, for Kunens Theorem 7.3 | changeset | files |