
diff -r b3a5bda07007 -r 0e52851acac4 Nominal/Ex/SingleLet.thy
--- a/Nominal/Ex/SingleLet.thy	Wed May 12 16:26:06 2010 +0100
+++ b/Nominal/Ex/SingleLet.thy	Wed May 12 16:33:25 2010 +0100
@@ -31,7 +31,6 @@
 equivariance alpha_trm_raw
 
 
-
 end
 
 




