HomeIsabelle/Phabricator

Tidied up some super-messy proofs