2004-03-10 webertj [Wed, 10 Mar 2004 22:37:33 +0100] rev 14458
changed default values for refute
src/HOL/Main.thy

2004-03-10 webertj [Wed, 10 Mar 2004 22:35:37 +0100] rev 14457
*** empty log message ***
src/HOL/Refute.thy

2004-03-10 webertj [Wed, 10 Mar 2004 22:33:48 +0100] rev 14456
support for non-recursive IDTs, The, arbitrary, Hilbert_Choice.Eps
src/HOL/Tools/refute.ML

2004-03-10 webertj [Wed, 10 Mar 2004 20:36:11 +0100] rev 14455
Updated examples
src/HOL/ex/Refute_Examples.thy

2004-03-10 webertj [Wed, 10 Mar 2004 20:31:47 +0100] rev 14454
*** empty log message ***
src/HOL/Tools/refute_isar.ML

2004-03-10 webertj [Wed, 10 Mar 2004 20:28:18 +0100] rev 14453
Internal and external SAT solvers
src/HOL/Tools/sat_solver.ML

2004-03-10 webertj [Wed, 10 Mar 2004 20:27:56 +0100] rev 14452
Formulas of propositional logic
src/HOL/Tools/prop_logic.ML

2004-03-10 webertj [Wed, 10 Mar 2004 20:21:08 +0100] rev 14451
ZCHAFF_HOME variable added
etc/settings

2004-03-10 paulson [Wed, 10 Mar 2004 10:34:56 +0100] rev 14450
new thm
src/HOL/Integ/Parity.thy

2004-03-10 paulson [Wed, 10 Mar 2004 10:34:49 +0100] rev 14449
strengthened the axclass claims
src/HOL/Finite_Set.thy