src/Pure/ROOT.ML
changeset 22361 d8d96d0122a7
parent 22233 c37d7404199b
child 22592 97b5290a8c34
     1.1 --- a/src/Pure/ROOT.ML	Mon Feb 26 23:18:24 2007 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Mon Feb 26 23:18:26 2007 +0100
     1.3 @@ -47,6 +47,7 @@
     1.4  use "theory.ML";
     1.5  use "proofterm.ML";
     1.6  use "thm.ML";
     1.7 +use "more_thm.ML";
     1.8  use "fact_index.ML";
     1.9  use "pure_thy.ML";
    1.10  use "display.ML";