HomeIsabelle/Phabricator

clarified Isabelle_Process phases;