HomeIsabelle/Phabricator

revert bbfed17243af, breaks HOL-Proofs extraction;