--- a/src/Pure/Tools/ROOT.ML Tue Dec 04 22:49:22 2007 +0100
+++ b/src/Pure/Tools/ROOT.ML Tue Dec 04 22:49:26 2007 +0100
@@ -5,9 +5,11 @@
*)
use "named_thms.ML";
+use "isabelle_process.ML";
(*basic XML support*)
use "xml_syntax.ML";
(*derived theory and proof elements*)
use "invoke.ML";
+