HomeIsabelle/Phabricator

factored out auxiliary theory

Authored by florian.haftmann.