merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rAFPc516e3b8434f: removal of unnecessary and possibly harmful attributes
rAFP1f7a1c0d5fbb: merge from afp-2021 - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 1f7a1c0d5fbb merge from afp-2021Author
- 7dde2c633ece adjust to Ergodic_Theory changesAuthor
- 4b1c5705378b Ergodic_Theory: tuned some namesAuthor
- fd1d5b3fdd7c close branchAuthor
- daa87ea0470c close branchAuthor
- f7321f5a8909 close branchAuthor
- a040f98f10ef close branchAuthor
- ff876ac75e44 close branchAuthor
- 0b7b6eb56c31 merge from afp-2020Author
- 220cf8d8d032 new entry Laws_of_Large_NumbersAuthor
- bf30f339e1c4 new theoryAuthor
- 34000862e3ef added link to paperAuthor
- 0d8e463e76c7 added set cover by Robin EssmanAuthor
- 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
- 07ea995a6665 merge from afp-2020Author
- b4869ef2d1ca fixed category for Blue_EyesAuthor
- 357a81dcd962 Backed out changeset 4450302adc70Author
- 4450302adc70 fixed category for Blue_EyesAuthor
- d5d57c1027c0 sitegen for Blue_EyesAuthor
- 17c110a297d8 New entry: Blue_EyesAuthor
- adb5f30f4f34 integrate RBT_Impl optimizationsAuthor