HomeIsabelle/Phabricator

tuned whitespace;

Authored by makarius.