| Wed, 28 Nov 2001 00:37:08 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 28 Oct 2001 21:10:47 +0100 | wenzelm | equal_intr_rule already declared in Pure; | file | diff | annotate |
| Thu, 27 Sep 2001 16:04:11 +0200 | wenzelm | AddXEs [disjI1, disjI2]; | file | diff | annotate |
| Fri, 22 Sep 2000 17:24:36 +0200 | wenzelm | AddXIs [equal_intr_rule]; | file | diff | annotate |
| Thu, 09 Sep 1999 12:25:30 +0200 | wenzelm | AddXIs [disjI1, disjI2]; | file | diff | annotate |
| Wed, 25 Aug 1999 20:45:19 +0200 | wenzelm | proper bootstrap of IFOL/FOL theories and packages; | file | diff | annotate |
| Fri, 17 Jul 1998 11:24:09 +0200 | paulson | added case_tac to be like HOL | file | diff | annotate |
| Wed, 26 Nov 1997 17:35:46 +0100 | paulson | Added rule impCE' | file | diff | annotate |
| Fri, 07 Nov 1997 17:51:10 +0100 | oheimb | added contrapos2 | file | diff | annotate |
| Mon, 03 Nov 1997 12:28:45 +0100 | wenzelm | moved cladata.ML, simpdata.ML to ROOT.ML; | file | diff | annotate |
| Fri, 10 Oct 1997 15:52:12 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Fri, 31 Jan 1997 17:51:42 +0100 | paulson | Declaration of ccontr (classical contradiction) for HOL compatibility | file | diff | annotate |
| Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | 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 |
| 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 |