HomeIsabelle/Phabricator

more robust within session "HOL";