Errata to the ESSLLI 2000 notes

The list of known typos in "Lambda Calculus: a Case for Inductive Definitions" of July 8, 2000. Comments welcome.
Ralph Matthes
Last modified: Thu Nov 2 16:23:19 CET 2000
http://www.tcs.informatik.uni-muenchen.de/~matthes/papers/essllierrata.html