src/Pure/ROOT.ML

--- 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";