--- a/doc-src/TutorialI/Misc/ROOT.ML Thu Aug 17 21:07:25 2000 +0200
+++ b/doc-src/TutorialI/Misc/ROOT.ML Fri Aug 18 10:34:08 2000 +0200
@@ -16,4 +16,5 @@
use_thy "case_splits";
use_thy "trace_simp";
use_thy "Itrev";
+use_thy "AdvancedInd";
use_thy "asm_simp";