added isabelle branch info