
diff -r e25b0fff0dd2 -r 409ecb7284dd Nominal/Ex/SingleLet.thy
--- a/Nominal/Ex/SingleLet.thy	Tue May 11 18:20:25 2010 +0200
+++ b/Nominal/Ex/SingleLet.thy	Wed May 12 13:43:48 2010 +0100
@@ -16,6 +16,7 @@
 where
   "bn (As x t) = {atom x}"
 
+
 thm trm_assg.fv
 thm trm_assg.supp
 thm trm_assg.eq_iff




