diff -r 9e1de6fb9579 -r 1bbbaae6b5e3 src/Doc/Prog_Prove/document/root.tex
--- a/src/Doc/Prog_Prove/document/root.tex	Mon May 17 23:38:16 2021 +0200
+++ b/src/Doc/Prog_Prove/document/root.tex	Tue May 18 15:17:55 2021 +0200
@@ -7,7 +7,7 @@
 \begin{document}
 
 \title{Programming and Proving in Isabelle/HOL}
-\subtitle{\includegraphics[scale=.7]{isabelle_hol}}
+\subtitle{\includegraphics[scale=.7]{isabelle_logo}}
 \author{Tobias Nipkow}
 \maketitle