Achim D. Brucker ee9811a317 Import of official AFP entry for Isabelle 2019.		2019-06-23 00:03:43 +01:00
..
Jenkinsfile	Import of official AFP entry for Isabelle 2019.	2019-06-23 00:03:43 +01:00