src/FOL/FOL.ML
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