merge from afp-2021-1
Description
Description
Details
Details
- Provenance
Fabian Huch <huch@in.tum.de> Authored on - Parents
- rAFP2011079530c4: regenerate site;
rAFP17b82e6796f6: adapt to only check ROOT for directories in thys (aftermath of… - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Fabian Huch <huch@in.tum.de> committed rAFP2752cd0567c9: merge from afp-2021-1.Sep 8 2022, 7:08 PM2022-09-08 19:08:45 (UTC+2)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 13d7491c6ab9 adapted to antimonoAuthor
- 17f4fbb45f9c updated to Isabelle/5ea588440b06Author
- 6c87f24bb773 tuned signature;Author
- 10120a93e155 replaced slow smt call by blastAuthor
- 337819a49c4b avoid hardwired document;Author
- 4ba03d4cf30e cosmeticAuthor
- a3d1b4509a4d tweaksAuthor
- 358ee38a13a3 tuningAuthor
- f50360e11df7 avoid fact name clashAuthor
- cf809a286330 adjusted to distributionAuthor
- 939afa7484fc repaired proofAuthor
- 621bc6675749 merge from afp-2021-1Author
- 59b0a80cf40b streamlinedAuthor
- 26a20c98b97c tuned proofsAuthor
- fea99b2f42bf Revision of locale structureAuthor
- 5d66d61cbd52 Purely markupAuthor