HomeIsabelle/Phabricator

clarified hook for Mirabelle: provide all loaded theories at once (for each…