Fri, 23 Dec 1994 10:52:25 +0100 | lcp | Added Krzysztof's theorem disj_imp_disj | file | diff | annotate |
Fri, 16 Dec 1994 13:30:34 +0100 | lcp | conj_cong2: new congruence rule | file | diff | annotate |
Tue, 13 Dec 1994 11:51:12 +0100 | clasohm | removed FOL_Lemmas and IFOL_Lemmas; added qed_goal | file | diff | annotate |
Fri, 24 Sep 1993 11:13:55 +0200 | lcp | Added ex_ex1I: new introduction rule for the EX! quantifier. | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |