diff -r 02e2ff3e4d37 -r ed702a3af45c doc-src/TutorialI/tutorial.ind
--- a/doc-src/TutorialI/tutorial.ind	Mon Jan 21 11:25:45 2002 +0100
+++ b/doc-src/TutorialI/tutorial.ind	Mon Jan 21 13:44:16 2002 +0100
@@ -647,7 +647,6 @@
 
   \indexspace
 
-  \item Wenzel, Markus, vii
   \item \isa {wf_induct} (theorem), \bold{115}
   \item \isa {wf_inv_image} (theorem), \bold{115}
   \item \isa {wf_less_than} (theorem), \bold{114}