
diff -r bd76f0398aa9 -r 653460d3e849 QuotMain.thy
--- a/QuotMain.thy	Thu Nov 05 16:43:57 2009 +0100
+++ b/QuotMain.thy	Fri Nov 06 09:48:37 2009 +0100
@@ -1042,5 +1042,6 @@
 *}
 
 
+
 end
 




