src/Doc/Classes/document/root.tex

--- a/src/Doc/Classes/document/root.tex	Mon May 17 23:38:16 2021 +0200
+++ b/src/Doc/Classes/document/root.tex	Tue May 18 15:17:55 2021 +0200
@@ -10,7 +10,7 @@
 \hyphenation{Isar}
 \isadroptag{theory}
 
-\title{\includegraphics[scale=0.5]{isabelle_isar}
+\title{\includegraphics[scale=0.5]{isabelle_logo}
   \\[4ex] Haskell-style type classes with Isabelle/Isar}
 \author{\emph{Florian Haftmann}}