merge from afp-2021-1
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP03277199a540: new entry Query_Optimization
rAFP11b9a0daf6b4: remove temp file - 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.
- 11b9a0daf6b4 remove temp fileAuthor
- a74db29363f5 tuned proofsAuthor
- 6100f6dbbfed merge from afp-2021-1Author
- 474696083e43 adjusted to distributionAuthor
- 5e7974c944c6 adjusted to distributionAuthor
- 59f623140cfa adapt to Isabelle@769a7cd5a16aAuthor
- bd79c9c8cfa0 merge from afp-2021-1Author
- edc3ffeb8c5e Renaming synthesized formulasAuthor
- 4b812a85fec9 Purely cosmeticAuthor
- 8ed602cdcb58 MergeAuthor
- 50da79b217bc Tidied (a lot)Author
- 34a31d29f666 streamlinedAuthor
- 4fc8e413c764 tuned whitespace;Author