lh-docker-isabelle/isabelle_dof
Achim D. Brucker 315b3d1b1d Setup for various versions of Isabelle. 2021-03-21 00:16:39 +00:00
..
Isabelle2019 Setup for various versions of Isabelle. 2021-03-21 00:16:39 +00:00
Isabelle2020 Setup for various versions of Isabelle. 2021-03-21 00:16:39 +00:00
Isabelle2021 Setup for various versions of Isabelle. 2021-03-21 00:16:39 +00:00