fixed isabelle loading (linrat_angle_matcher not imported)