--- a/src/HOL/ROOT.ML Fri Dec 16 11:51:24 2005 +0100
+++ b/src/HOL/ROOT.ML Fri Dec 16 12:15:54 2005 +0100
@@ -11,6 +11,7 @@
use "hologic.ML";
+use "~~/src/Pure/General/hashtable.ML";
use "~~/src/Provers/splitter.ML";
use "~~/src/Provers/hypsubst.ML";
use "~~/src/Provers/induct_method.ML";