Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sat_solver.ML not loaded anymore (already loaded by Refute.thy)
authorwebertj
Sun, 25 Sep 2005 01:12:49 +0200
changeset 17631 152ab92e1009
parent 17630 bab7bf6554f4
child 17632 13d6a689efe9
sat_solver.ML not loaded anymore (already loaded by Refute.thy)
src/HOL/SAT.thy file | annotate | diff | comparison | revisions 
--- 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"
isabelle