
diff -r c6db12ddb60c -r c785fff02a8f Nominal/Ex/SingleLet.thy
--- a/Nominal/Ex/SingleLet.thy	Thu May 27 18:37:52 2010 +0200
+++ b/Nominal/Ex/SingleLet.thy	Thu May 27 18:40:10 2010 +0200
@@ -74,8 +74,6 @@
 thm trm_assg.fv[simplified trm_assg.supp(1-2)]
 *)
 
-
-
 end
 
 




