HomeIsabelle/Phabricator

consolidation of rules for bit operations