--- 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