HomeIsabelle/Phabricator

avoid change of existing file, notably rebuild via ghc_stack;