# HG changeset patch # User Cezary Kaliszyk # 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)