--- a/QuotTest.thy	Fri Oct 30 19:03:53 2009 +0100
+++ b/QuotTest.thy	Mon Nov 02 09:33:48 2009 +0100
@@ -2,6 +2,7 @@
 imports QuotMain
 begin
 
+
 section {* various tests for quotient types*}
 datatype trm =
   var  "nat"