HomeIsabelle/Phabricator

interpretations for boolean operators