doc-src/TutorialI/readers
changeset 11212 d06fb91f22da
parent 11210 33300d16a63a
child 11216 279004936bb0
equal deleted inserted replaced
11211:febb93798bb8 11212:d06fb91f22da
     1 By chapter:
     1 By chapter:
     2 
     2 
     3 Inductive definitions: Gerwin Klein
     3 Inductive definitions: Gerwin Klein
       
     4 chapters 1 and 2, maybe 3: Peter White