merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rAFPb383e59aa162: fixed some latex; tried the alternative definition of Ramsey
rAFP0ace227c4d10: centralized more lemmas - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 0ace227c4d10 centralized more lemmasAuthor
- aac14245270a avoid Fun.swapAuthor
- 3945ab3f00b8 guide is out of focusAuthor
- f8ded3c69c5d more elementary swapAuthor
- fd1d5b3fdd7c close branchAuthor
- daa87ea0470c close branchAuthor
- f7321f5a8909 close branchAuthor
- a040f98f10ef close branchAuthor
- ff876ac75e44 close branchAuthor
- 3b5ff4b8d37d Closing branch "devel"Author
- a0d561998f20 closed branchAuthor
- ad14484777fc merged