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