src/HOL/Sledgehammer.thy
changeset 36062 194cb6e3c13f
parent 35967 b9659daa5b4b
child 36064 48aec67c284f
     1.1 --- a/src/HOL/Sledgehammer.thy	Mon Mar 29 15:26:19 2010 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Mon Mar 29 15:50:18 2010 +0200
     1.3 @@ -10,7 +10,6 @@
     1.4  theory Sledgehammer
     1.5  imports Plain Hilbert_Choice
     1.6  uses
     1.7 -  "Tools/polyhash.ML"
     1.8    "~~/src/Tools/Metis/metis.ML"
     1.9    "Tools/Sledgehammer/sledgehammer_util.ML"
    1.10    ("Tools/Sledgehammer/sledgehammer_fol_clause.ML")