src/HOL/Main.thy
changeset 14489 3676def6b8b9
parent 14458 c2b96948730d
child 14806 b42ad431cbae
     1.1 --- a/src/HOL/Main.thy	Fri Mar 26 14:53:17 2004 +0100
     1.2 +++ b/src/HOL/Main.thy	Fri Mar 26 19:58:43 2004 +0100
     1.3 @@ -101,6 +101,6 @@
     1.4  refute_params [minsize=1,
     1.5                 maxsize=8,
     1.6                 maxvars=100,
     1.7 -               satsolver="auto"]
     1.8 +               satsolver="dpll"]
     1.9  
    1.10  end