
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




