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: Feb 01 2025 at 20:19 UTC