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