diff -r bdbb52979790 -r 3d7a3a141922 quotient_def.ML
--- a/quotient_def.ML	Sat Nov 21 10:58:08 2009 +0100
+++ b/quotient_def.ML	Sat Nov 21 11:16:48 2009 +0100
@@ -147,7 +147,6 @@
   quotdef ((bind, qty, mx), (attr, prop)) lthy |> snd
 end
 
-
 val quotdef_parser =
   (OuterParse.binding --
     (OuterParse.$$$ "::" |-- OuterParse.!!! (OuterParse.typ --