| Tue, 13 Dec 1994 11:51:12 +0100 | clasohm | removed FOL_Lemmas and IFOL_Lemmas; added qed_goal | changeset | files |
| 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 |