--- a/src/Doc/Intro/document/root.tex Mon May 17 23:38:16 2021 +0200
+++ b/src/Doc/Intro/document/root.tex Tue May 18 15:17:55 2021 +0200
@@ -6,7 +6,7 @@
%prth *(\(.*\)); \1;
%{\\out \(.*\)} {\\out val it = "\1" : thm}
-\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Old Introduction to Isabelle}
+\title{\includegraphics[scale=0.5]{isabelle_logo} \\[4ex] Old Introduction to Isabelle}
\author{{\em Lawrence C. Paulson}\\
Computer Laboratory \\ University of Cambridge \\
\texttt{lcp@cl.cam.ac.uk}\\[3ex]