A

afp-2022 hg

Isabelle2022 release of the Archive of Formal Proofs