HomeIsabelle/Phabricator

further refinement of code equations for mask operation