# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1277077527 -3600
# Node ID e7bc2ae30faf03a83459225dd71b43e3ce0ec964
# Parent  965ee8f08d4cae6908c626338b95a709eda45c90
added a few points that need to be looked at the next version of the qpaper

diff -r 965ee8f08d4c -r e7bc2ae30faf Quotient-Paper/Paper.thy
--- a/Quotient-Paper/Paper.thy	Mon Jun 21 00:36:17 2010 +0100
+++ b/Quotient-Paper/Paper.thy	Mon Jun 21 00:45:27 2010 +0100
@@ -5,6 +5,14 @@
         "../Nominal/FSet"
 begin
 
+(****
+
+** things to do for the next version
+*
+* - what are quot_thms?
+* - what do all preservation theorems look like
+*)
+
 notation (latex output)
   rel_conj ("_ \<circ>\<circ>\<circ> _" [53, 53] 52) and
   pred_comp ("_ \<circ>\<circ> _" [1, 1] 30) and