--- a/src/Doc/Datatypes/document/root.tex Mon Jan 05 10:09:42 2015 +0100
+++ b/src/Doc/Datatypes/document/root.tex Mon Jan 05 11:00:12 2015 +0100
@@ -59,14 +59,11 @@
\title{%\includegraphics[scale=0.5]{isabelle_hol} \\[4ex]
Defining (Co)datatypes in Isabelle/HOL}
-\author{\hbox{} \\
-Jasmin Christian Blanchette,
+\author{Jasmin Christian Blanchette,
Martin Desharnais, \\
Lorenz Panny,
Andrei Popescu, and
-Dmitriy Traytel \\
-{\normalsize Fakult\"at f\"ur Informatik, Technische Universit\"at M\"unchen} \\
-\hbox{}}
+Dmitriy Traytel}
\urlstyle{tt}