merge from afp-2021
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP62ea872d1534: Finitely_Generated_Abelian_Groups website
rAFPfdc94d7251ed: Added Finitely_Generated_Abelian_Groups to metadata - 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.
- 11e377bef9e9 compileAuthor
- 975b2b1d8a19 renamed hide_lams opaque_liftingAuthor
- 805ab069d5b3 merged
- 76eb5ab42012 arg -> ArgAuthor
- e8af416c2e70 fixed typosAuthor
- 1a99ac2d4342 more word cleanupAuthor
- f1195cc96e85 more default simp rulesAuthor
- 9e42e0c5f9f9 some word streamliningAuthor
- 55af834ad1b8 made consistent againAuthor
- 06eb6c7d6c76 lemma groomingAuthor
- 2e179108e08f merge Jinja/Isar workAuthor