--- 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