merge from afp-2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPcace3e947231: SC_DOM_Components website
rAFP938eda70c082: do not build HOL-Analysis on macisa2 - 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.
- a9526e233fe2 use new Heaps.thyAuthor
- 348d64d3a54d sorted out lemmasAuthor
- 5ded4ffd242b sorted out lemmasAuthor
- 38e989792057 sorted out lemmasAuthor
- c7ce9d354883 sorted out lemmasAuthor
- 13c18a730ac4 factored out lemmasAuthor
- e3576c775700 more robust;Author
- d6be5fd1a75a factored out operationsAuthor
- 21e7ccd3d91a guideAuthor
- a721aec5f967 added proper T_insertAuthor
- 8ed3de8a9a8b fixed FolgefehlerAuthor
- 6a7eaa2aca1f simplified proofs!Author
- 68a46447e50a trivalAuthor
- 01f7865f30b1 proper document_theories;Author
- 313c6909aadf adapted to develAuthor
- ead48adb01df adadpted to 831f17da1aabAuthor
- 644d88d7ecd2 tuned names t to TAuthor
- f0e84dd15882 moved to ListAuthor
- d234f75be25a tuned namesAuthor
- 375469c07787 further decompositionAuthor
- 5456b058dbbf tuned structure formallyAuthor
- 88b8151dff90 updated to new Leftist_HeapAuthor
- 82f18c28f31b adjusted to distributionAuthor
- ede4399b471c more lemmasAuthor