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 "..";