merge from afp-2021
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP6fc43618aaf0: revert accidental change
rAFPca99cb5446f9: merge from afp-2021 - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- ca99cb5446f9 merge from afp-2021Author
- 5c7a3b0533b3 more specific nameAuthor
- 4f8e7efb12a8 adapted to Isabelle/0110e2e2964c;Author
- be5e2dcd71e3 adapted to Isabelle/f0db1e4c89bc;Author
- ec187af6fd41 more accurate process_result;Author
- fedf84a4c625 adapted to Isabelle/440546ea20e6;Author
- 1f7a1c0d5fbb merge from afp-2021Author
- fd1d5b3fdd7c close branchAuthor
- daa87ea0470c close branchAuthor
- f7321f5a8909 close branchAuthor
- a040f98f10ef close branchAuthor
- ff876ac75e44 close branchAuthor
- a2632f50a689 Ergodic_Theory: tuned some namesAuthor
- 0c442d6aa0ee new theoryAuthor
- c8b0217eb78a added link to paperAuthor
- 2666177c9ba9 added set cover by Robin EssmanAuthor
- f9be8b09e21b merge from afp-2021Author
- adb5f30f4f34 integrate RBT_Impl optimizationsAuthor