HomeIsabelle/Phabricator

tuned theory structure

Authored by florian.haftmann.