merge from afp-2021
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP4f1d55756b1a: suppress site-gen warning
rAFP7858c60cc57a: 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.
- 7858c60cc57a merge from afp-2021Author
- e2811dc54d05 grouped lemmasAuthor
- aae69e3e9178 merge from afp-2021Author
- 7c0105d2d63f tuned presentationAuthor
- 83f656769137 adapted to develAuthor
- 6605c2eb8bc8 merge from afp-2021Author
- d198fb4d73bd adapted to Isabelle/466fae6bf22e;Author
- 551b996da2ca tuned whitespace;Author
- 17e46e9fdfda merge from afp-2021Author
- 2c2eaa6a32e2 adapted to Isabelle/ef1a18e20ace;Author
- b08597803da3 proper options;Author
- 54d98b691624 more tiny tweaksAuthor
- 0ace227c4d10 centralized more lemmasAuthor
- aac14245270a avoid Fun.swapAuthor
- 3945ab3f00b8 guide is out of focusAuthor
- f8ded3c69c5d more elementary swapAuthor