HomeIsabelle/Phabricator

separation of reversed bit lists from other material