1997-01-31 ago Declaration of ccontr (classical contradiction) for HOL compatibility
1997-01-03 ago Implicit simpsets and clasets for FOL and ZF
1996-01-29 ago expanded tabs
1995-10-13 ago corrected spelling of title
1994-12-13 ago removed FOL_Lemmas and IFOL_Lemmas; added qed_goal
1994-11-01 ago FOL/FOL/swap: deleted
1994-06-24 ago FOL/FOL.ML/excluded_middle_tac: new
1993-09-16 ago Initial revision