MS_Isabelle loading ...