doc-src/TutorialI/Misc/ROOT.ML

--- a/doc-src/TutorialI/Misc/ROOT.ML	Tue Sep 05 13:12:00 2000 +0200
+++ b/doc-src/TutorialI/Misc/ROOT.ML	Tue Sep 05 13:53:39 2000 +0200
@@ -7,15 +7,9 @@
 use_thy "arith1";
 use_thy "arith2";
 use_thy "arith3";
-use_thy "arith4";
 use_thy "pairs";
 use_thy "types";
 use_thy "prime_def";
-use_thy "def_rewr";
-use_thy "let_rewr";
-use_thy "cond_rewr";
-use_thy "case_splits";
-use_thy "trace_simp";
+use_thy "simp";
 use_thy "Itrev";
 use_thy "AdvancedInd";
-use_thy "asm_simp";