Template:Isabelle4.png/credit