# HG changeset patch
# User blanchet
# Date 1400847914 -7200
# Node ID aa7f051ba6ab50586b1c14d86c9537f5b9bf0f03
# Parent  a91d126338a4fe21618087089d3dfe3fcbd7e8d8
added fifth member to BNF team

diff -r a91d126338a4 -r aa7f051ba6ab src/Doc/Datatypes/Datatypes.thy
--- a/src/Doc/Datatypes/Datatypes.thy	Fri May 23 14:12:22 2014 +0200
+++ b/src/Doc/Datatypes/Datatypes.thy	Fri May 23 14:25:14 2014 +0200
@@ -1,5 +1,6 @@
 (*  Title:      Doc/Datatypes/Datatypes.thy
     Author:     Jasmin Blanchette, TU Muenchen
+    Author:     Martin Desharnais, Ecole de technologie superieure
     Author:     Lorenz Panny, TU Muenchen
     Author:     Andrei Popescu, TU Muenchen
     Author:     Dmitriy Traytel, TU Muenchen
@@ -140,11 +141,13 @@
 
 \newcommand\authoremaili{\texttt{blan{\color{white}NOSPAM}\kern-\wd\boxA{}chette@\allowbreak
 in.\allowbreak tum.\allowbreak de}}
-\newcommand\authoremailii{\texttt{lore{\color{white}NOSPAM}\kern-\wd\boxA{}nz.panny@\allowbreak
-\allowbreak tum.\allowbreak de}}
-\newcommand\authoremailiii{\texttt{pope{\color{white}NOSPAM}\kern-\wd\boxA{}scua@\allowbreak
+\newcommand\authoremailii{\texttt{desh{\color{white}NOSPAM}\kern-\wd\boxA{}arna@\allowbreak
+in.\allowbreak tum.\allowbreak de}}
+\newcommand\authoremailiii{\texttt{lore{\color{white}NOSPAM}\kern-\wd\boxA{}nz.panny@\allowbreak
 in.\allowbreak tum.\allowbreak de}}
-\newcommand\authoremailiv{\texttt{tray{\color{white}NOSPAM}\kern-\wd\boxA{}tel@\allowbreak
+\newcommand\authoremailiv{\texttt{pope{\color{white}NOSPAM}\kern-\wd\boxA{}scua@\allowbreak
+in.\allowbreak tum.\allowbreak de}}
+\newcommand\authoremailv{\texttt{tray{\color{white}NOSPAM}\kern-\wd\boxA{}tel@\allowbreak
 in.\allowbreak tum.\allowbreak de}}
 
 The command @{command datatype_new} is expected to replace \keyw{datatype} in a
@@ -153,7 +156,7 @@
 
 Comments and bug reports concerning either the tool or this tutorial should be
 directed to the authors at \authoremaili, \authoremailii, \authoremailiii,
-and \authoremailiv.
+\authoremailiv, and \authoremailv.
 *}
 
 
diff -r a91d126338a4 -r aa7f051ba6ab 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} \\