
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)




