
diff -r e30997c88050 -r 77ff9624cfd6 QuotTest.thy
--- 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"




