# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1276997864 -3600
# Node ID 5c603b0945ac1c48a0c723317bb40e54b11d136b
# Parent  fab7f09dda225648fd68166344ce50a44af9cadb
small addition to the acknowledgement

diff -r fab7f09dda22 -r 5c603b0945ac Quotient-Paper/Paper.thy
--- 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.
 
 *}