doc-src/TutorialI/Inductive/ROOT.ML

--- a/doc-src/TutorialI/Inductive/ROOT.ML	Thu Oct 26 10:27:04 2000 +0200
+++ b/doc-src/TutorialI/Inductive/ROOT.ML	Thu Oct 26 11:27:48 2000 +0200
@@ -1,4 +1,6 @@
 use "../settings.ML";
+use_thy "Even";
 use_thy "Star";
 use_thy "AB";
+use_thy "Acc";