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