Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- added lemmas reflclp_(less|greater)_eq[simp], rtranclp_(less|greater)_eq[simp], and tranclp_(less|greater|less_eq|greater_eq)[simp]
- parallelize schedule optimization;
The file was modified | NEWS |
The file was modified | src/HOL/Library/Numeral_Type.thy |
The file was modified | src/HOL/Transitive_Closure.thy |
The file was modified | src/Pure/Build/build_schedule.scala |
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- removed lemmas following Isabelle/ba8fb71587ae
- merge from AFP 2023
- sitegen for Wieferich Kempner
- new entry: Wieferich Kempner
- merge from AFP 2023
- metadata and sitegen for QBF-Solver
- new entry: QBF_Solver_Verification
- further files for CubicalCategories
- New entry CubicalCategories
- update doc;
- Correction of an error in the abstract
- sitegen for Karatsuba
- New submission: Karatsuba
- adjusted proof