Helly migrating to repository version of Isabelle (incomplete)