isabelle: doc-src/TutorialI/readers@a1c4c1500abe (annotated)

11210 33300d16a63a * empty log message * nipkow parents: diff changeset	1	By chapter:
33300d16a63a * empty log message * nipkow parents: diff changeset	2
11212 d06fb91f22da * empty log message * paulson parents: 11210 diff changeset	3	chapters 1 and 2, maybe 3: Peter White
11216 279004936bb0 * empty log message * nipkow parents: 11212 diff changeset	4	chapters 6, 7 and 8: David von Oheim
279004936bb0 * empty log message * nipkow parents: 11212 diff changeset	5	chapter 6, maybe 8: Gerwin Klein
11226 0adc5f9b4977 Vos paulson parents: 11216 diff changeset	6	chapters 3, maybe 4: Tanja Vos
11243 a9d4f354aba2 * empty log message * paulson parents: 11226 diff changeset	7	chapters 1-3 at least: Stefano Bistarelli