2005-07-26 webertj [Tue, 26 Jul 2005 12:40:52 +0200] rev 16912
write_dimacs_sat_file writes outer parentheses again
src/HOL/Tools/sat_solver.ML

2005-07-26 webertj [Tue, 26 Jul 2005 12:23:10 +0200] rev 16911
replaced calls to PropLogic.defcnf by PropLogic.auxcnf
src/HOL/Tools/sat_solver.ML

2005-07-26 webertj [Tue, 26 Jul 2005 12:13:35 +0200] rev 16910
minor parameter changes
src/HOL/ex/Refute_Examples.thy

2005-07-25 webertj [Mon, 25 Jul 2005 21:40:43 +0200] rev 16909
defcnf renamed to auxcnf, new defcnf algorithm added, simplify added
src/HOL/Tools/prop_logic.ML

2005-07-25 avigad [Mon, 25 Jul 2005 18:54:49 +0200] rev 16908
Added two new theories to HOL/Library: SetsAndFunctions.thy and BigO.thy
NEWS src/HOL/IsaMakefile src/HOL/Library/BigO.thy src/HOL/Library/Library.thy src/HOL/Library/SetsAndFunctions.thy

2005-07-25 webertj [Mon, 25 Jul 2005 15:51:30 +0200] rev 16907
defcnf modified to internally use a reference
src/HOL/Tools/prop_logic.ML

2005-07-22 paulson [Fri, 22 Jul 2005 17:43:49 +0200] rev 16906
dead code removal
src/HOL/Tools/ATP/res_clasimpset.ML

2005-07-22 paulson [Fri, 22 Jul 2005 17:43:03 +0200] rev 16905
reformatting and tidying
src/HOL/Tools/ATP/recon_transfer_proof.ML

2005-07-22 paulson [Fri, 22 Jul 2005 17:42:40 +0200] rev 16904
tidied up the tracing output
src/HOL/Tools/res_atp.ML

2005-07-22 paulson [Fri, 22 Jul 2005 13:19:06 +0200] rev 16903
streamlined the tptp output
src/HOL/Tools/res_clause.ML