src/FOL/FOL.ML
2000-09-22 wenzelm 2000-09-22 AddXIs [equal_intr_rule];
1999-09-09 wenzelm 1999-09-09 AddXIs [disjI1, disjI2];
1999-08-25 wenzelm 1999-08-25 proper bootstrap of IFOL/FOL theories and packages;
1998-07-17 paulson 1998-07-17 added case_tac to be like HOL
1997-11-26 paulson 1997-11-26 Added rule impCE'
1997-11-07 oheimb 1997-11-07 added contrapos2
1997-11-03 wenzelm 1997-11-03 moved cladata.ML, simpdata.ML to ROOT.ML;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-01-31 paulson 1997-01-31 Declaration of ccontr (classical contradiction) for HOL compatibility
1997-01-03 paulson 1997-01-03 Implicit simpsets and clasets for FOL and ZF
1996-01-29 clasohm 1996-01-29 expanded tabs
1995-10-13 clasohm 1995-10-13 corrected spelling of title
1994-12-13 clasohm 1994-12-13 removed FOL_Lemmas and IFOL_Lemmas; added qed_goal
1994-11-01 lcp 1994-11-01 FOL/FOL/swap: deleted FOL/FOL: tidied the signature
1994-06-24 lcp 1994-06-24 FOL/FOL.ML/excluded_middle_tac: new
1993-09-16 clasohm 1993-09-16 Initial revision