HomeIsabelle/Phabricator

refined syntax for bundle mixins for locale and class specifications