merge from afp-2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPf2bc278d8c6e: New entry JinjaDCI
rAFP3c9f87745f30: `first` did not have constant time complexity - 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.
- 22a627a8a0e2 Merged
- e69090abc053 Merged
- 78ceb5a9dbb1 Cleaned
- b9ca92c46cd9 Cleaning
- bd778b1f0c60 Cleaning
- 4ae553526864 MergeAuthor
- bfb55826ffc0 New entry Hood_Melville_QueueAuthor
- 84c055f7b95d more explicit proofAuthor
- 21348d1ad4c9 sync Word_Lib with l4vAuthor
- 4ee343798f76 adapted to scala-2.13.4;Author
- 601908994b57 Word_Lib: spellingAuthor
- f7ada09942ba merge from afp-2020Author
- 0d86fcd673f9 isabelle update_cartouches;Author
- 7e9db34de4f6 A bit of tidyingAuthor