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 |