--- a/src/HOL/ROOT.ML Wed Mar 01 06:05:25 2006 +0100
+++ b/src/HOL/ROOT.ML Wed Mar 01 06:06:16 2006 +0100
@@ -31,6 +31,9 @@
use "~~/src/Provers/quasi.ML";
use "~~/src/Provers/order.ML";
+
+use "Tools/res_atpset.ML";
+
with_path "Integ" use_thy "Main";
path_add "~~/src/HOL/Library";