If you find any mistakes or typos in the book not listed here,
tell the author: bill.roscoe (at) comlab.ox.ac.uk.
No matter how hard you try to eliminate mistakes, there always seem to
be some left. Here is a pdf file, in
order in the book, of the
errata I know about that are either mistakes or potentially
confusing. Here is a similar file
containing minor typos.