Template:Isabelle6.png/credit