merge from afp-2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP220cf8d8d032: new entry Laws_of_Large_Numbers
rAFP9a6ed530ce81: update stats for 2021 release version - 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.
- 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
- adb5f30f4f34 integrate RBT_Impl optimizationsAuthor
- 02a4bc4b6ee8 non-executable files;Author
- eb0cc2599588 adjustments for Word_Lib updatesAuthor
- 2332e6e5e05e sync with l4vAuthor
- 6bb5c735fb18 allow instance for natAuthor
- 824ba5ec1ce6 merge from afp-2020Author
- 22a627a8a0e2 Merged
- e69090abc053 Merged
- 78ceb5a9dbb1 Cleaned