src/HOL/SAT.thy
changeset 34120 f9920a3ddf50
parent 32232 6c394343360f
child 39036 dff91b90d74c
     1.1 --- a/src/HOL/SAT.thy	Mon Dec 14 11:01:04 2009 +0100
     1.2 +++ b/src/HOL/SAT.thy	Mon Dec 14 12:14:12 2009 +0100
     1.3 @@ -23,7 +23,8 @@
     1.4    maxsize=8,
     1.5    maxvars=10000,
     1.6    maxtime=60,
     1.7 -  satsolver="auto"]
     1.8 +  satsolver="auto",
     1.9 +  no_assms="false"]
    1.10  
    1.11  ML {* structure sat = SATFunc(cnf) *}
    1.12