# HG changeset patch
# User wenzelm
# Date 896123828 -7200
# Node ID e9217cb15b42be1a26e34cfdf6cd09041b84e76d
# Parent  27f559b54c57a73899239949287b18b458c6d8fc
global_names moved to pure_thy.ML;

diff -r 27f559b54c57 -r e9217cb15b42 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Mon May 25 21:16:03 1998 +0200
+++ b/src/Pure/ROOT.ML	Mon May 25 21:17:08 1998 +0200
@@ -49,7 +49,6 @@
 use "axclass.ML";
 
 (*theory parser and loader*)
-val global_names = ref false;		(* FIXME tmp *)
 cd "Thy";
 use "ROOT.ML";
 cd "..";