added Isabelle vesion info.