changeset 70818 | 13d6b561b0ea |
parent 69503 | c2a736883b01 |
child 71762 | c7d19729456c |
--- 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}