--- a/src/Pure/ROOT.ML Tue Jul 02 15:36:12 2002 +0200
+++ b/src/Pure/ROOT.ML Tue Jul 02 15:36:51 2002 +0200
@@ -42,6 +42,7 @@
use "proofterm.ML";
use "thm.ML";
use "display.ML";
+use "fact_index.ML";
use "pure_thy.ML";
use "drule.ML";
use "meta_simplifier.ML";