Achim D. Brucker 78fe95f95f Migration to Isabelle 2021-1 (based on afp-2021-12-28).		2021-12-29 08:04:23 +00:00
..
root.bib	Initial commit, based on AFP entry dated 2020-05-22.	2020-05-23 15:19:23 +01:00
root.tex	Migration to Isabelle 2021-1 (based on afp-2021-12-28).	2021-12-29 08:04:23 +00:00