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: Mar 09 2025 at 12:28 UTC