HomeIsabelle/Phabricator

streamlined auxiliary theories