# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1276581162 -7200
# Node ID d2ca79475103c202358dff181137997c9ab0e1ca
# Parent  ec7bc96a04b45263c0ca0a037f4b448075c3d08b
qpaper/ackno

diff -r ec7bc96a04b4 -r d2ca79475103 Quotient-Paper/Paper.thy
--- a/Quotient-Paper/Paper.thy	Tue Jun 15 06:35:57 2010 +0200
+++ b/Quotient-Paper/Paper.thy	Tue Jun 15 07:52:42 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.
+
 *}