HomeIsabelle/Phabricator

removed unused operations;