HomeIsabelle/Phabricator

disable auto_nitpick for now: spurious problems with non-termination e.g. in…