HomeIsabelle/Phabricator

adapted to Isabelle 80d7f004089d

Authored by kleing.