merge from afp-2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP9a777766b777: New entry: Knuth_Bendix_Order
rAFP3f26cf4e20e8: admin/sitegen (with python3) - 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.
- cd4388702c9b New entry Knuth_Bendix_OrderAuthor
- 2fb9e44335af mergeAuthor
- 1e1d92130953 added two lemmasAuthor
- a3c410f7ad14 mergeAuthor
- afa6f540c178 added lemma about limitsAuthor
- 4acc6a5c1603 adapted to f4626b1f1b96Author
- 3483f9d26850 added lemmasAuthor
- 68699ec0d47e tuningAuthor
- f4451bba95a2 simplified proofAuthor
- b5739aa85c75 uniformize capitalizationAuthor
- f01859e37d6b added lemmasAuthor
- a0d27ac848aa Max/Sup issueAuthor
- 9c544f77d299 final lower case of topicsAuthor
- 55c932d460f7 about to give upAuthor
- 8274c4ccd8c9 moved lemmas around, tuningAuthor
- 3a7847bc58ce moving lemmas where they belongAuthor
- ee34afb2b57c added lemmasAuthor
- 77ad5390bcd8 added lemmasAuthor
- a7dec07bb044 added two lemmasAuthor
- 2e7ac4fd9a3f simplified proofAuthor
- 982c9eb51fe6 rationalized localesAuthor
- ff58aa530358 rationalized localesAuthor
- f67a3c3fcc17 rationalized localesAuthor
- bb1e74987268 rationalized localesAuthor
- 5058f17437d6 rationalized localesAuthor
- fd511536d43d rationalized localesAuthor
- ec19eb9df9f6 tuned topicsAuthor