HomeIsabelle/Phabricator

clarified compiler output: allow multithreaded execution;