
diff -r 38bbccdf9ff9 -r 8bd75f2fd7b0 Nominal-General/Nominal2_Supp.thy
--- a/Nominal-General/Nominal2_Supp.thy	Tue May 04 16:17:46 2010 +0200
+++ b/Nominal-General/Nominal2_Supp.thy	Tue May 04 16:18:07 2010 +0200
@@ -539,4 +539,5 @@
   using fin
   by (simp add: supp_of_fin_sets)
 
+
 end




