diff -r 79f198a08c15 -r d6b898681fc7 src/Pure/Tools/ROOT.ML
--- 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";
+