# HG changeset patch
# User paulson
# Date 984994667 -3600
# Node ID d06fb91f22daceaae11ba5b4ac980621f2ffd9d5
# Parent  febb93798bb800937271a14e35ba62595d49330f
*** empty log message ***

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