HomeIsabelle/Phabricator

simplified proofs!