| Tue, 26 Mar 1996 11:38:17 +0100 | paulson | Added two of KGs rules | file | diff | annotate |
| Mon, 29 Jan 1996 13:58:15 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 13 Oct 1995 11:48:40 +0100 | clasohm | corrected spelling of title | file | diff | annotate |
| Thu, 06 Apr 1995 10:58:56 +0200 | lcp | Fixed typo. | file | diff | annotate |
| 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 |