merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE69177d552afb: Added tag Isabelle2021 for changeset 7e2a9a8c2b85
rISABELLEf6bb31879698: HOL-Analysis/Probability: Hoeffding's inequality, negative binomial… - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 9fd449357079 tuned signature;Author
- 62b6bc153b84 more parallelism;Author
- 27dc8f899147 clarified signature;Author
- b1aa641eee4c added lemmasAuthor
- bfa9f646f5ae optimize RBT_ImplAuthor
- ce90865dbaeb Simpler proofAuthor
- 0398f18ec76c proper hostname;Author
- 68f0bd0c8e87 more informative error;Author
- be9b73dfd3e0 added lemmasAuthor