src/Pure/ROOT.ML
changeset 4362 e10acc395f0d
parent 4278 c64867c093fb
child 4408 ad74412ef7a0
--- 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 "..";