--- a/Nominal/Lift.thy	Wed Jun 23 06:54:48 2010 +0100
+++ b/Nominal/Lift.thy	Wed Jun 23 15:21:04 2010 +0100
@@ -5,7 +5,6 @@
         "Abs" "Perm" "Rsp"
 begin
 
-
 ML {*
 fun define_quotient_types binds tys alphas equivps ctxt =
 let