HomeIsabelle/Phabricator

avoid duplicate loading of ML file;