src/Pure/Thy/thy_parse.ML

 
 The parser for theory files.
 *)
 
 (* FIXME tmp *)
-val global_names = ref true;
+val global_names = ref false;
 
 
 infix 5 -- --$$ $$-- ^^;
 infix 3 >>;
 infix 0 ||;