HomeIsabelle/Phabricator

remove unused functions