HomeIsabelle/Phabricator

clearer separation of pre-word bit list material