1.1 --- a/src/Pure/ROOT.ML	Mon Sep 20 15:29:53 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon Sep 20 16:05:25 2010 +0200
     1.3 @@ -134,6 +134,7 @@
     1.4  use "thm.ML";
     1.5  use "more_thm.ML";
     1.6  use "facts.ML";
     1.7 +use "global_theory.ML";
     1.8  use "pure_thy.ML";
     1.9  use "drule.ML";
    1.10  use "morphism.ML";