afp-2020

afp-2020 hg (legacy)

Isabelle2020 release of the Archive of Formal Proofs