HomeIsabelle/Phabricator

bit operations form an boolean algebra