src/HOL/SAT.thy
changeset 17631 152ab92e1009
parent 17627 ff1923b1978b
child 17722 8e098e040c2e
--- a/src/HOL/SAT.thy	Sat Sep 24 23:55:17 2005 +0200
+++ b/src/HOL/SAT.thy	Sun Sep 25 01:12:49 2005 +0200
@@ -10,7 +10,7 @@
 
 theory SAT imports HOL
 
-uses "Tools/sat_solver.ML"
+uses (* "Tools/sat_solver.ML" -- already loaded by Refute.thy *)
      "Tools/cnf_funcs.ML"
      "Tools/sat_funcs.ML"