--- a/Quotient-Paper/Paper.thy	Thu Jun 17 09:25:44 2010 +0200
+++ b/Quotient-Paper/Paper.thy	Sun Jun 20 02:37:44 2010 +0100
@@ -1153,7 +1153,8 @@
   \noindent
   {\bf Acknowledgements:} We would like to thank Peter Homeier for the
   discussions about his HOL4 quotient package and explaining to us
-  some of its finer points in the implementation.
+  some of its finer points in the implementation. Without his patient
+  help, this work would have been impossible.
 
 *}