merge from afp-2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPdd8e0cdca49e: sitegen for CSP_RefTK
rAFP03248eeafe63: Algebraic_Numbers: some material on algebraic integers - 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.
- 0d86fcd673f9 isabelle update_cartouches;Author
- 7e9db34de4f6 A bit of tidyingAuthor
- 824acfe540c7 more standard headers;Author
- 7b26d4cc3c17 A few tweaksAuthor
- 99c2ec098082 tidying upAuthor
- a34480eef2a7 tuned whitespace;Author
- c541be98de9c adapted to Isabelle/b1be35908165;Author
- b8e228d01fed adapted to Isabelle/fd8d82c4433b;Author