src/Pure/ROOT.ML

 
 use "Proof/extraction.ML";
 
 cd "Tools"; use "ROOT.ML"; cd "..";
 
-use "../Tools/value.ML";
-use "../Tools/quickcheck.ML";
 use "codegen.ML";
 
 (*configuration for Proof General*)
 cd "ProofGeneral"; use "ROOT.ML"; cd "..";