src/HOL/SAT.thy
changeset 39036 dff91b90d74c
parent 34120 f9920a3ddf50
child 46096 a00685a18e55
--- a/src/HOL/SAT.thy	Thu Sep 02 11:02:13 2010 +0200
+++ b/src/HOL/SAT.thy	Thu Sep 02 11:29:02 2010 +0200
@@ -10,7 +10,6 @@
 theory SAT
 imports Refute
 uses
-  "Tools/cnf_funcs.ML"
   "Tools/sat_funcs.ML"
 begin