afp-2022

afp-2022 hg

Isabelle2022 release of the Archive of Formal Proofs