src/Pure/IsaMakefile

--- a/src/Pure/IsaMakefile	Mon Sep 20 15:29:53 2010 +0200
+++ b/src/Pure/IsaMakefile	Mon Sep 20 16:05:25 2010 +0200
@@ -218,6 +218,7 @@
   drule.ML						\
   envir.ML						\
   facts.ML						\
+  global_theory.ML					\
   goal.ML						\
   goal_display.ML					\
   interpretation.ML					\