diff -r 5181e317e9ff -r a2e93327daa3 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sun Jun 11 00:36:17 2006 +0200
+++ b/src/Pure/ROOT.ML	Sun Jun 11 00:38:45 2006 +0200
@@ -72,9 +72,6 @@
 
 use "Proof/extraction.ML";
 
-(*the IsaPlanner subsystem*)
-cd "IsaPlanner"; use "ROOT.ML"; cd "..";
-
 cd "Tools"; use "ROOT.ML"; cd "..";
 
 (*configuration for Proof General*)