HomeIsabelle/Phabricator

prefer canonically oriented lists of bits in definitions