lh-docker-isabelle/debian4isabelle
Achim D. Brucker e609ebcf08 Updated entcs and AFP URLs. 2023-03-04 18:57:08 +00:00
..
Dockerfile Updated entcs and AFP URLs. 2023-03-04 18:57:08 +00:00