HomeIsabelle/Phabricator

tuned proofs;

Authored by makarius.