| Fri, 09 Dec 1994 16:44:31 +0100 | wenzelm | minor internal changes; | changeset | files |
| 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 |