
diff -r dd675800469d -r 13d6b561b0ea src/Doc/Datatypes/document/root.tex
--- a/src/Doc/Datatypes/document/root.tex	Wed Oct 09 14:51:54 2019 +0000
+++ b/src/Doc/Datatypes/document/root.tex	Thu Oct 10 16:37:52 2019 +0200
@@ -59,7 +59,7 @@
 
 \title{%\includegraphics[scale=0.5]{isabelle_hol} \\[4ex]
 Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL}
-\author{Julian Biendarra, Jasmin Christian Blanchette, \\
+\author{Julian Biendarra, Jasmin Blanchette, \\
 Martin Desharnais, Lorenz Panny, \\
 Andrei Popescu, and Dmitriy Traytel}
 




