Progress on corollaries to Helly.
Forgot to pull before committing changes to Helly; should be no conflict.
Merge branch 'master' of https://github.com/avigad/isabelle