src/HOL/SAT.thy

--- a/src/HOL/SAT.thy	Mon Dec 14 11:01:04 2009 +0100
+++ b/src/HOL/SAT.thy	Mon Dec 14 12:14:12 2009 +0100
@@ -23,7 +23,8 @@
   maxsize=8,
   maxvars=10000,
   maxtime=60,
-  satsolver="auto"]
+  satsolver="auto",
+  no_assms="false"]
 
 ML {* structure sat = SATFunc(cnf) *}