
diff -r 9038c9549073 -r df3a952c6a67 Nominal/Lift.thy
--- 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




