Compare commits
base: Isabelle_DOF:aa0a2c5f6a67e6ed851d03e112e6cd2af1123ec1
Isabelle_DOF:main
Isabelle_DOF:isabelle_nightly
Isabelle_DOF:afp_resubmission
Isabelle_DOF:sml-latex-generation-for-chapter-section
Isabelle_DOF:common-criteria
Isabelle_DOF:ARINC661
Isabelle_DOF:ICFEM-2022
Isabelle_DOF:update-cenelec
Isabelle_DOF:2021-ITP-PMTI
Isabelle_DOF:v1.2.x/Isabelle2021
Isabelle_DOF:v1.1.x/Isabelle2021
Isabelle_DOF:v1.1.x/Isabelle2020
Isabelle_DOF:v1.0.x/Isabelle2019
Isabelle_DOF:Unreleased/Isabelle2018
Isabelle_DOF:afp_submission
Isabelle_DOF:v1.3.0/Isabelle2021-1
Isabelle_DOF:v1.2.0/Isabelle2021
Isabelle_DOF:2021-ITP-PMTI-rejected
Isabelle_DOF:v1.1.0/Isabelle2021
Isabelle_DOF:v1.1.0/Isabelle2020
Isabelle_DOF:v1.0.0/Isabelle2019
Isabelle_DOF:Unreleased/Isabelle2018
Isabelle_DOF:Unreleased/Isabelle2017
compare: Isabelle_DOF:41dd3e49497246dea92878391300f51d565238e4
Isabelle_DOF:isabelle_nightly
Isabelle_DOF:main
Isabelle_DOF:afp_resubmission
Isabelle_DOF:sml-latex-generation-for-chapter-section
Isabelle_DOF:common-criteria
Isabelle_DOF:ARINC661
Isabelle_DOF:ICFEM-2022
Isabelle_DOF:update-cenelec
Isabelle_DOF:2021-ITP-PMTI
Isabelle_DOF:v1.2.x/Isabelle2021
Isabelle_DOF:v1.1.x/Isabelle2021
Isabelle_DOF:v1.1.x/Isabelle2020
Isabelle_DOF:v1.0.x/Isabelle2019
Isabelle_DOF:Unreleased/Isabelle2018
Isabelle_DOF:afp_submission
Isabelle_DOF:v1.3.0/Isabelle2021-1
Isabelle_DOF:v1.2.0/Isabelle2021
Isabelle_DOF:2021-ITP-PMTI-rejected
Isabelle_DOF:v1.1.0/Isabelle2021
Isabelle_DOF:v1.1.0/Isabelle2020
Isabelle_DOF:v1.0.0/Isabelle2019
Isabelle_DOF:Unreleased/Isabelle2018
Isabelle_DOF:Unreleased/Isabelle2017
These branches are equal. There is no need to create a pull request.