# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1282195734 -32400
# Node ID 67e57fc3cd2a7766e6ffdb8a2a5fbd36b2ee7e90
# Parent  1341a2d7570f3c5799ae6fe6d6c2a11eeae85033
TODO

diff -r 1341a2d7570f -r 67e57fc3cd2a Quotient-Paper/Paper.thy
--- a/Quotient-Paper/Paper.thy	Thu Aug 19 13:58:47 2010 +0900
+++ b/Quotient-Paper/Paper.thy	Thu Aug 19 14:28:54 2010 +0900
@@ -19,6 +19,9 @@
   - Quote from Peter:
 
     One might think quotient have been studied to death, but
+
+  - Mention Andreas Lochbiler in Acknowledgements and 'desceding'.
+
 *)
 
 notation (latex output)