added acknowledgment
Wed, 06 May 2015 15:04:38 +0200
changeset 60181 fc66055fbadf
parent 60180 09a7481c03b1
child 60182 e1ea5a6379c9
added acknowledgment
--- 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.