HomeIsabelle/Phabricator

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

Description

clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT);