afp-2019

afp-2019

Isabelle2019 release of the Archive of Formal Proofs