src/Pure/ROOT.ML
changeset 26279 e8440c90c474
parent 26133 8ea867ad9a48
child 26629 6e93fbd4c96a
     1.1 --- a/src/Pure/ROOT.ML	Sat Mar 15 18:07:59 2008 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sat Mar 15 18:08:00 2008 +0100
     1.3 @@ -62,7 +62,7 @@
     1.4  use "proofterm.ML";
     1.5  use "thm.ML";
     1.6  use "more_thm.ML";
     1.7 -use "fact_index.ML";
     1.8 +use "facts.ML";
     1.9  use "pure_thy.ML";
    1.10  use "display.ML";
    1.11  use "drule.ML";