Simplify usage of isabelle-mode