--- a/src/Doc/Sledgehammer/document/root.tex Wed Oct 09 14:51:54 2019 +0000
+++ b/src/Doc/Sledgehammer/document/root.tex Thu Oct 10 16:37:52 2019 +0200
@@ -58,7 +58,7 @@
Hammering Away \\[\smallskipamount]
\Large A User's Guide to Sledgehammer for Isabelle/HOL}
\author{\hbox{} \\
-Jasmin Christian Blanchette \\
+Jasmin Blanchette \\
{\normalsize Institut f\"ur Informatik, Technische Universit\"at M\"unchen} \\[4\smallskipamount]
{\normalsize with contributions from} \\[4\smallskipamount]
Lawrence C. Paulson \\