diff -r febb93798bb8 -r d06fb91f22da doc-src/TutorialI/readers
--- a/doc-src/TutorialI/readers	Thu Mar 15 16:56:35 2001 +0100
+++ b/doc-src/TutorialI/readers	Mon Mar 19 10:37:47 2001 +0100
@@ -1,3 +1,4 @@
 By chapter:
 
 Inductive definitions: Gerwin Klein
+chapters 1 and 2, maybe 3: Peter White