sat_solver.ML not loaded anymore (already loaded by Refute.thy)
authorwebertj
Sun Sep 25 01:12:49 2005 +0200 (2005-09-25)
changeset 17631152ab92e1009
parent 17630 bab7bf6554f4
child 17632 13d6a689efe9
sat_solver.ML not loaded anymore (already loaded by Refute.thy)
src/HOL/SAT.thy
     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