src/FOL/FOL.ML
Wed, 25 Aug 1999 20:45:19 +0200 wenzelm proper bootstrap of IFOL/FOL theories and packages;
Fri, 17 Jul 1998 11:24:09 +0200 paulson added case_tac to be like HOL
Wed, 26 Nov 1997 17:35:46 +0100 paulson Added rule impCE'
Fri, 07 Nov 1997 17:51:10 +0100 oheimb added contrapos2
Mon, 03 Nov 1997 12:28:45 +0100 wenzelm moved cladata.ML, simpdata.ML to ROOT.ML;
Fri, 10 Oct 1997 15:52:12 +0200 wenzelm fixed dots;
Fri, 31 Jan 1997 17:51:42 +0100 paulson Declaration of ccontr (classical contradiction) for HOL compatibility
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Mon, 29 Jan 1996 13:58:15 +0100 clasohm expanded tabs
Fri, 13 Oct 1995 11:48:40 +0100 clasohm corrected spelling of title
Tue, 13 Dec 1994 11:51:12 +0100 clasohm removed FOL_Lemmas and IFOL_Lemmas; added qed_goal
Tue, 01 Nov 1994 10:40:10 +0100 lcp FOL/FOL/swap: deleted
Fri, 24 Jun 1994 13:01:53 +0200 lcp FOL/FOL.ML/excluded_middle_tac: new
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip