merge from afp-2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP0426e5a56075: Heptapod acknowledgements
rAFP0362f33fb949: more class operations for the sake of efficient generated code - 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.
- d717807c8843 prefer single nameAuthor
- 320af0a4f22c avoid compound operationAuthor
- 06ca7a66d8ae eliminated needless localeAuthor
- 2c05bbf7e93d proper file;Author
- 4d493338c3a7 activate simproc for FOLAuthor
- 2f1b5352ff77 more rules for FOL alsoAuthor
- cce073a27f08 more simp rulesAuthor
- b5440f7e5a01 simplified Let constructorAuthor
- 5a77ba9e257f more systematic self-citationsAuthor
- 25ba40a59673 adapted to 3e343c0c2138Author
- 19fa00c4832d adapt to Isabelle 07c85c68ff03Author
- 78e7e62b73bd merge from afp-2020Author
- cd4388702c9b New entry Knuth_Bendix_OrderAuthor
- 2fb9e44335af mergeAuthor
- 1e1d92130953 added two lemmasAuthor
- a3c410f7ad14 mergeAuthor
- afa6f540c178 added lemma about limitsAuthor