HomeIsabelle/Phabricator

no duplicates of shift operations