# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1279545623 -3600
# Node ID 0321e89e66a38b837ebaadc860c93e6ec8108fd4
# Parent  4cc4390d5d2576fb852677364174f7bffdcc67bd
quote for a new paper

diff -r 4cc4390d5d25 -r 0321e89e66a3 Quotient-Paper/Paper.thy
--- a/Quotient-Paper/Paper.thy	Mon Jul 19 08:34:38 2010 +0100
+++ b/Quotient-Paper/Paper.thy	Mon Jul 19 14:20:23 2010 +0100
@@ -15,6 +15,10 @@
     compositions
   - explain how Quotient R Abs Rep is proved (j-version)
   - give an example where precise specification helps (core Haskell in nominal?)
+
+  - Quote from Peter:
+
+    One might think quotient have been studied to death, but
 *)
 
 notation (latex output)