# HG changeset patch
# User blanchet
# Date 1430917478 -7200
# Node ID fc66055fbadf47dcdf0364f90ceb317b2c90e3f0
# Parent  09a7481c03b111d309ffeb25fe324dfa4fef6a5b
added acknowledgment

diff -r 09a7481c03b1 -r fc66055fbadf src/Doc/Datatypes/Datatypes.thy
--- 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