src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Jul 12 19:18:55 2005 +0200
+++ b/src/Pure/ROOT.ML	Tue Jul 12 19:29:52 2005 +0200
@@ -93,6 +93,9 @@
 (*configuration for Proof General*)
 use "proof_general.ML";
 
+(* loading the Tools directory *)
+cd "Tools"; use "ROOT.ML"; cd "..";
+
 (*the Pure theories*)
 use_thy "Pure"; structure Pure = struct val thy = theory "Pure" end;
 use_thy "CPure"; structure CPure = struct val thy = theory "CPure" end;