HomeIsabelle/Phabricator

tuned theory structure