diff -r 09d5b7f0e55d -r ce5f78f0eac5 Quot/QuotMain.thy
--- a/Quot/QuotMain.thy	Thu Jan 14 08:02:20 2010 +0100
+++ b/Quot/QuotMain.thy	Thu Jan 14 10:06:29 2010 +0100
@@ -95,6 +95,7 @@
 section {* ML setup *}
 
 (* Auxiliary data for the quotient package *)
+
 use "quotient_info.ML"
 
 declare [[map "fun" = (fun_map, fun_rel)]]