--- a/src/Pure/Tools/ROOT.ML Sat Apr 25 21:28:04 2009 +0200
+++ b/src/Pure/Tools/ROOT.ML Sat Apr 25 21:28:05 2009 +0200
@@ -1,23 +1,9 @@
-(* Title: Pure/Tools/ROOT.ML
-
-Miscellaneous tools and packages for Pure Isabelle.
-*)
+(* Miscellaneous tools and packages for Pure Isabelle *)
use "named_thms.ML";
-(*basic XML support*)
use "xml_syntax.ML";
use "find_theorems.ML";
use "find_consts.ML";
-use "auto_solve.ML";
-
-(*quickcheck stub needed here because of pg preferences*)
-structure Quickcheck =
-struct
-
-val auto = ref false;
-val auto_time_limit = ref 5000;
-
-end;