Mon, 12 Dec 1994 10:26:05 +0100 | wenzelm | added print_theory that prints stored thms; | changeset | files |
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 |