HomeIsabelle/Phabricator

adapted to current Isabelle/ec1c0daa3fbd;