--- a/src/HOL/ROOT.ML Wed Aug 12 15:31:35 1998 +0200
+++ b/src/HOL/ROOT.ML Wed Aug 12 15:38:34 1998 +0200
@@ -56,12 +56,8 @@
use_thy "Arith";
use "arith_data.ML";
-use_thy "RelPow";
use_thy "Finite";
-use_thy "Sexp";
-use_thy "Recdef";
use_thy "Map";
-use_thy "Update";
cd "Integ";
use_thy "Bin";