diff -r f89773ab0685 -r a2f70c09e77d Nominal/Ex/SingleLet.thy
--- a/Nominal/Ex/SingleLet.thy	Mon May 17 16:29:33 2010 +0200
+++ b/Nominal/Ex/SingleLet.thy	Mon May 17 16:25:45 2010 +0100
@@ -30,6 +30,7 @@
 
 
 
+
 end