Achim D. Brucker b5f15612a7 Upgrading to Isabelle 2020.		2021-03-06 01:01:08 +00:00
..
root.tex	Upgrading to Isabelle 2020.	2021-03-06 01:01:08 +00:00