HomeIsabelle/Phabricator

fixed HOL-ex following a5bab59d580b