# HG changeset patch
# User webertj
# Date 1127603569 -7200
# Node ID 152ab92e100953370ec0dcbc386e1a5b6f81ef83
# Parent  bab7bf6554f4d1022943f20a7705fe0f6e1b3856
sat_solver.ML not loaded anymore (already loaded by Refute.thy)

diff -r bab7bf6554f4 -r 152ab92e1009 src/HOL/SAT.thy
--- 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"