Achim D. Brucker f1b3fa41c2 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:44:53 +01:00
root.tex	Migration to Isabelle 2021-1 (based on afp-2021-12-28).	2021-12-29 08:04:23 +00:00