Wed, 21 Dec 1994 12:46:52 +0100 | lcp | Moved description of tools to Tools/README | changeset | files |
Tue, 20 Dec 1994 16:20:50 +0100 | lcp | ord_iso_rvimage: new | changeset | files |
Tue, 20 Dec 1994 15:58:52 +0100 | lcp | Moved well_ord_Memrel, lt_eq_pred, Ord_iso_implies_eq_lemma, | changeset | files |
Tue, 20 Dec 1994 13:24:04 +0100 | clasohm | qed is a utility that makes ML files store the defined theories in Isabelle's | changeset | files |
Tue, 20 Dec 1994 10:21:32 +0100 | lcp | Simplified proof of ord_iso_image_pred using bij_inverse_ss. | changeset | files |
Tue, 20 Dec 1994 10:19:24 +0100 | lcp | Used bind_thm to store domain_rel_subset and range_rel_subset | changeset | files |