changes to isabelle loading