# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1277302864 -3600
# Node ID df3a952c6a67df2fcabb4bf948cd45926697e230
# Parent  9038c9549073218f3223a318f0b7c04dbd5dbcc1
whitespace

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