# HG changeset patch
# User wenzelm
# Date 881239767 -3600
# Node ID e10acc395f0db42551df377cd9d4f7971b304ae5
# Parent  c77a484e4f950546760d30d7ed345a45e7525799
moved global_names ref to Pure/ROOT.ML;

diff -r c77a484e4f95 -r e10acc395f0d src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Thu Dec 04 12:50:02 1997 +0100
+++ b/src/Pure/ROOT.ML	Thu Dec 04 13:49:27 1997 +0100
@@ -46,6 +46,10 @@
 use "axclass.ML";
 
 (*Theory parser and loader*)
+
+(* FIXME tmp *)
+val global_names = ref false;
+
 cd "Thy";
 use "ROOT.ML";
 cd "..";
diff -r c77a484e4f95 -r e10acc395f0d src/Pure/Thy/thy_parse.ML
--- a/src/Pure/Thy/thy_parse.ML	Thu Dec 04 12:50:02 1997 +0100
+++ b/src/Pure/Thy/thy_parse.ML	Thu Dec 04 13:49:27 1997 +0100
@@ -5,10 +5,6 @@
 The parser for theory files.
 *)
 
-(* FIXME tmp *)
-val global_names = ref false;
-
-
 infix 5 -- --$$ $$-- ^^;
 infix 3 >>;
 infix 0 ||;