HomeIsabelle/Phabricator

removed dummy ATP