HomeIsabelle/Phabricator

adapted to isabelle-dev 954ee5acaae0