Achim D. Brucker e40cb5bbde Migration to Isabelle 2021-1 (based on afp-2021-12-28).		2021-12-31 07:42:15 +00:00
..
root.bib	Initial import from AFP.	2020-12-19 08:46:46 +00:00
root.tex	Migration to Isabelle 2021-1 (based on afp-2021-12-28).	2021-12-31 07:42:15 +00:00