HomeIsabelle/Phabricator

adapted to isabelle-dev/56db8559eadb