src/Pure/Tools/ROOT.ML

 
 Miscellaneous tools and packages for Pure Isabelle.
 *)
 
 use "named_thms.ML";
-use "isabelle_process.ML";
 
 (*basic XML support*)
 use "xml_syntax.ML";
 
 use "find_theorems.ML";