HomeIsabelle/Phabricator

simplified hierarchy of type classes for bit operations