merge from afp-2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP171e9088949c: point download link to Heptapod
rAFP831c1c4ea702: updated benchmarks - 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.
- 7904a23154fd adapted to Isabelle 80d7f004089dAuthor
- 32c1aff4de5d adapted to Isabelle 80d7f004089dAuthor
- 50490f5bdc82 merge from afp-2020Author
- 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