Latest Draft (updated to Isabelle 2019 thanks to Norbert Schirmer)| 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 |