HomeIsabelle/Phabricator

more generic bit/word lemmas for distribution