src/HOL/ROOT.ML
changeset 18420 9470061ab283
parent 17919 09adb77ac16c
child 18449 e314fb38307d
     1.1 --- a/src/HOL/ROOT.ML	Fri Dec 16 11:51:24 2005 +0100
     1.2 +++ b/src/HOL/ROOT.ML	Fri Dec 16 12:15:54 2005 +0100
     1.3 @@ -11,6 +11,7 @@
     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";