merge from afp-2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPc645808bafa7: update maintenance docs
rAFPce2c72a0a05e: concatentation of bit values - 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.
- aeedb987222c tuned whitespace;Author
- 70ae335403b7 signed_take_bitAuthor
- f90f9d593a88 misc lemma tuningAuthor
- e0714a129570 updated documentationAuthor
- b8a6808299e5 obsolete duplicatesAuthor
- 82e10d1ca9e1 moved to Word_LibAuthor
- 04f54c116f30 tuned whitespaceAuthor
- ec1d5c638a9d merge from afp-2020Author
- 4d18e0481131 merge from afp-2020Author
- 3b5ff4b8d37d Closing branch "devel"Author
- c0032d11a990 Bitbucket -> HeptapodAuthor
- 238b15a87fd2 Update README for HeptapodAuthor
- f4d20b0c2eeb merge from afp-2020Author
- 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