HomeIsabelle/Phabricator

simplified logical constructions