Download
Latest Draft


People Who Contributed So Far
Christian Urban
Stefan Berghofer
Jasmin Blanchette
Sascha Böhme
Jeremy Dawson
Armin Heller
Alexander Krauss
Tobias Nipkow
Michael Norrish
Christian Sternagel
Feedback
What early readers said
Workshops
First Isabelle Developers Workshop
Second Isabelle Developers Workshop