# HG changeset patch
# User wenzelm
# Date 1240687685 -7200
# Node ID 6b9b93816b3033ed9466dbe424c5e4eba53da65b
# Parent  fe0855471964745b3b0ca31031ca7087b18acb6d
removed obsolete artifacts;

diff -r fe0855471964 -r 6b9b93816b30 src/Pure/Tools/ROOT.ML
--- 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;