HomeIsabelle/Phabricator

concatentation of bit values