| changeset 11216 | 279004936bb0 |
| parent 11212 | d06fb91f22da |
| child 11226 | 0adc5f9b4977 |
--- 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