Eric Bond (Apr 22 2021 at 21:29): Eric Bond (Apr 22 2021 at 21:29):Hello!
I'm trying to get a copy of the 2020 version of Isabelle (compatible with Autocorres). Where can I find older versions of Isabelle?
Simon Roßkopf (Apr 22 2021 at 21:30):https://isabelle.in.tum.de/download_past.html
Last updated: Sep 08 2026 at 08:41 UTC