switch back to isabelle dependency