doc-src/TutorialI/Inductive/ROOT.ML

--- a/doc-src/TutorialI/Inductive/ROOT.ML	Thu Nov 02 15:45:32 2000 +0100
+++ b/doc-src/TutorialI/Inductive/ROOT.ML	Fri Nov 03 10:23:24 2000 +0100
@@ -2,5 +2,5 @@
 use_thy "Even";
 use_thy "Star";
 use_thy "AB";
-use_thy "Acc";
+use_thy "Advanced";