diff -r 0b60d8416ec5 -r 8237786171f1 Quot/quotient_def.ML
--- a/Quot/quotient_def.ML	Fri Dec 25 00:17:55 2009 +0100
+++ b/Quot/quotient_def.ML	Fri Dec 25 00:58:06 2009 +0100
@@ -3,6 +3,7 @@
 sig 
   val quotient_def: mixfix -> Attrib.binding -> term -> term ->
     local_theory -> (term * thm) * local_theory
+
   val quotdef_cmd: (Attrib.binding * string) * (mixfix * string) ->
     local_theory -> local_theory
 end;