--- a/doc-src/TutorialI/Inductive/ROOT.ML Tue Jan 02 11:03:37 2001 +0100
+++ b/doc-src/TutorialI/Inductive/ROOT.ML Tue Jan 02 12:04:33 2001 +0100
@@ -1,5 +1,6 @@
use "../settings.ML";
use_thy "Even";
+use_thy "Mutual";
use_thy "Star";
use_thy "AB";
use_thy "Advanced";