src/Doc/Datatypes/document/root.tex

--- a/src/Doc/Datatypes/document/root.tex	Fri May 23 14:12:22 2014 +0200
+++ b/src/Doc/Datatypes/document/root.tex	Fri May 23 14:25:14 2014 +0200
@@ -53,7 +53,8 @@
 Defining (Co)datatypes in Isabelle/HOL}
 \author{\hbox{} \\
 Jasmin Christian Blanchette,
-Lorenz Panny, \\
+Martin Desharnais, \\
+Lorenz Panny,
 Andrei Popescu, and
 Dmitriy Traytel \\
 {\normalsize Fakult\"at f\"ur Informatik, Technische Universit\"at M\"unchen} \\