Menu

Download
Latest Draft (updated to Isabelle 2019 thanks to Norbert Schirmer)
People Who Contributed So Far
Christian Urban
Stefan Berghofer
Jasmin Blanchette
Sascha Böhme
Lukas Bulwahn
Jeremy Dawson
Rafal Kolanski
Armin Heller
Alexander Krauss
Tobias Nipkow
Michael Norrish
Norbert Schirmer
Andreas Schropp
Christian Sternagel
Feedback
What early readers said
Workshops
First Isabelle Developers Workshop
Second Isabelle Developers Workshop