merge from afp-2021-1
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP07172e9ae711: adjust Lar's contact info as requested
rAFPb9df51ee10b8: A few more disambiguations, related to locales in CartesianCategory. - 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.
- edc3ffeb8c5e Renaming synthesized formulasAuthor
- 4b812a85fec9 Purely cosmeticAuthor
- 8ed602cdcb58 MergeAuthor
- 50da79b217bc Tidied (a lot)Author
- 34a31d29f666 streamlinedAuthor
- 4fc8e413c764 tuned whitespace;Author
- d90ff1d6d4ab updated to develAuthor
- 13d7491c6ab9 adapted to antimonoAuthor
- 17f4fbb45f9c updated to Isabelle/5ea588440b06Author
- 6c87f24bb773 tuned signature;Author