src/Pure/ROOT.ML

 use "tactic.ML";
 use "goals.ML";
 use "axclass.ML";
 
 (*theory parser and loader*)
-val global_names = ref false;		(* FIXME tmp *)
 cd "Thy";
 use "ROOT.ML";
 cd "..";
 
 use "install_pp.ML";