HomeIsabelle/Phabricator

adapted to Isabelle/36774e8af3db: cannot rely on order of instantiation for…