diff -r b44ad7e4c4d2 -r 279004936bb0 doc-src/TutorialI/readers
--- a/doc-src/TutorialI/readers	Mon Mar 19 13:28:06 2001 +0100
+++ b/doc-src/TutorialI/readers	Mon Mar 19 17:25:42 2001 +0100
@@ -1,4 +1,5 @@
 By chapter:
 
-Inductive definitions: Gerwin Klein
 chapters 1 and 2, maybe 3: Peter White
+chapters 6, 7 and 8: David von Oheim
+chapter 6, maybe 8: Gerwin Klein