--- a/src/Pure/ROOT.ML Mon Dec 15 09:58:44 2008 +0100
+++ b/src/Pure/ROOT.ML Mon Dec 15 09:58:45 2008 +0100
@@ -87,8 +87,6 @@
cd "Tools"; use "ROOT.ML"; cd "..";
-use "../Tools/value.ML";
-use "../Tools/quickcheck.ML";
use "codegen.ML";
(*configuration for Proof General*)