src/HOL/ROOT.ML
changeset 18449 e314fb38307d
parent 18420 9470061ab283
child 18482 ac8456b4080c
     1.1 --- a/src/HOL/ROOT.ML	Wed Dec 21 12:05:47 2005 +0100
     1.2 +++ b/src/HOL/ROOT.ML	Wed Dec 21 12:06:08 2005 +0100
     1.3 @@ -11,7 +11,6 @@
     1.4  
     1.5  use "hologic.ML";
     1.6  
     1.7 -use "~~/src/Pure/General/hashtable.ML";
     1.8  use "~~/src/Provers/splitter.ML";
     1.9  use "~~/src/Provers/hypsubst.ML";
    1.10  use "~~/src/Provers/induct_method.ML";