--- a/src/Doc/Datatypes/Datatypes.thy Tue May 05 18:45:10 2015 +0200
+++ b/src/Doc/Datatypes/Datatypes.thy Wed May 06 15:04:38 2015 +0200
@@ -3228,8 +3228,9 @@
from the \emph{Archive of Formal Proofs} to the new datatypes. Florian Haftmann
and Christian Urban provided general advice on Isabelle and package writing.
Stefan Milius and Lutz Schr\"oder found an elegant proof that eliminated one of
-the BNF proof obligations. Gerwin Klein, Andreas Lochbihler, Tobias Nipkow, and
-Christian Sternagel suggested many textual improvements to this tutorial.
+the BNF proof obligations. Mamoun Filali-Amine, Gerwin Klein, Andreas
+Lochbihler, Tobias Nipkow, and Christian Sternagel suggested many textual
+improvements to this tutorial.
*}
end