3 Commits (master)

Author SHA1 Message Date
Achim D. Brucker 603afc9bc7 Migration to Isabelle 2020. 2 years ago
Achim D. Brucker 98df203945 Import of official AFP entry for Isabelle 2019. 3 years ago
Achim D. Brucker 6587217c99 Initial commit. 3 years ago