# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1276581270 -7200
# Node ID 2a95188263ec955321c4710840f74dc9f413f18b
# Parent  d2ca79475103c202358dff181137997c9ab0e1ca# Parent  5ced6472ac3c388cd0a676b594b9fff7e9147c69
merge

diff -r 5ced6472ac3c -r 2a95188263ec Quotient-Paper/Paper.thy
--- a/Quotient-Paper/Paper.thy	Tue Jun 15 06:50:33 2010 +0200
+++ b/Quotient-Paper/Paper.thy	Tue Jun 15 07:54:30 2010 +0200
@@ -1088,6 +1088,13 @@
     translation according to given quotients).
 
   \end{itemize}
+
+  \medskip
+  \noindent
+  {\bf Acknowledgements:} We would like to thank Peter Homeier for the
+  discussions about the HOL4 quotient package and explaining us its
+  implementation details.
+
 *}