| Tue, 13 Dec 1994 11:51:12 +0100 | clasohm | removed FOL_Lemmas and IFOL_Lemmas; added qed_goal | file | diff | annotate |
| Tue, 01 Nov 1994 10:40:10 +0100 | lcp | FOL/FOL/swap: deleted | file | diff | annotate |
| Fri, 24 Jun 1994 13:01:53 +0200 | lcp | FOL/FOL.ML/excluded_middle_tac: new | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |