src/Pure/ROOT.ML
changeset 39557 fe5722fce758
parent 39508 dfacdb01e1ec
child 40743 b07a0dbc8a38
--- a/src/Pure/ROOT.ML	Mon Sep 20 15:29:53 2010 +0200
+++ b/src/Pure/ROOT.ML	Mon Sep 20 16:05:25 2010 +0200
@@ -134,6 +134,7 @@
 use "thm.ML";
 use "more_thm.ML";
 use "facts.ML";
+use "global_theory.ML";
 use "pure_thy.ML";
 use "drule.ML";
 use "morphism.ML";