updated isabelle loading