HomeIsabelle/Phabricator

more operations;

Authored by makarius.