doc-src/TutorialI/Recdef/ROOT.ML

--- a/doc-src/TutorialI/Recdef/ROOT.ML	Wed Oct 11 00:03:22 2000 +0200
+++ b/doc-src/TutorialI/Recdef/ROOT.ML	Wed Oct 11 09:09:06 2000 +0200
@@ -3,3 +3,4 @@
 use_thy "Induction";
 use_thy "Nested1";
 use_thy "Nested2";
+use_thy "WFrec";