diff -r 0062c9e5c842 -r 28b264299590 QuotMain.thy
--- a/QuotMain.thy	Fri Nov 06 11:02:11 2009 +0100
+++ b/QuotMain.thy	Fri Nov 06 19:26:08 2009 +0100
@@ -5,6 +5,7 @@
      ("quotient_def.ML")
 begin
 
+
 locale QUOT_TYPE =
   fixes R :: "'a \<Rightarrow> 'a \<Rightarrow> bool"
   and   Abs :: "('a \<Rightarrow> bool) \<Rightarrow> 'b"