src/HOL/Main.thy

--- a/src/HOL/Main.thy	Fri Mar 26 14:53:17 2004 +0100
+++ b/src/HOL/Main.thy	Fri Mar 26 19:58:43 2004 +0100
@@ -101,6 +101,6 @@
 refute_params [minsize=1,
                maxsize=8,
                maxvars=100,
-               satsolver="auto"]
+               satsolver="dpll"]
 
 end