HomeIsabelle/Phabricator

separation of traditional bit operations