diff -r 1d2f15504d38 -r d1bf9ca9008d doc-src/TutorialI/Misc/ROOT.ML
--- a/doc-src/TutorialI/Misc/ROOT.ML	Wed Nov 29 10:22:38 2000 +0100
+++ b/doc-src/TutorialI/Misc/ROOT.ML	Wed Nov 29 13:44:26 2000 +0100
@@ -4,9 +4,6 @@
 use_thy "case_exprs";
 use_thy "fakenat";
 use_thy "natsum";
-use_thy "arith1";
-use_thy "arith2";
-use_thy "arith3";
 use_thy "pairs";
 use_thy "types";
 use_thy "prime_def";