HomePhabricator

adapted to isabelle-dev 954ee5acaae0

Authored by pruvisto.