HomeIsabelle/Phabricator

merge from afp-2020

Description

merge from afp-2020

Details

Provenance
kleingAuthored on
Parents
rAFPc645808bafa7: update maintenance docs
rAFPce2c72a0a05e: concatentation of bit values
Branches
Unknown
Tags
Unknown

Merged Changes

This commit merges a very large number of changes. Only the first 50 are shown.