Isabelle2025
a2bb217528d3 · merge from afp-2025 ·