merge from afp-2022
Description
Description
Details
Details
- Provenance
Fabian Huch <huch@in.tum.de> Authored on - Parents
- rAFP859ae8001656: metadata for Suppes' theorem + sitegen
rAFP95ab3b6c963f: Removal of more unused material - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Fabian Huch <huch@in.tum.de> committed rAFPdb414fd99254: merge from afp-2022.Jan 24 2023, 9:25 AM2023-01-24 09:25:38 (UTC+1)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 3080fbfdf9ff isabelle update -u cite;Author
- 9ad9e3c39744 proper citation;Author
- bd12d9b46e51 isabelle update -u cite;Author
- 69d56d231e8d merged
- d82316670919 proper @{cite} syntax;Author
- ab90e6e586ca isabelle update -u cite;Author
- edfb67bf875e Generalised LemmasAuthor
- f63d39eac6e3 adapted to Isabelle/c9e091867206Author
- 415f66ca9ad1 adapted to Isabelle/25900fbea7ad;Author
- eba886159d27 adapted to Isabelle/b61ad889dffaAuthor
- 13c86139b9cb adapted to Isabelle/d33fc5228aaeAuthor
- f31fa8686572 mergeAuthor