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