
diff -r 5641981ec67d -r 74bd7bfb484b Nominal-General/Nominal2_Supp.thy
--- a/Nominal-General/Nominal2_Supp.thy	Mon May 03 08:52:15 2010 +0100
+++ b/Nominal-General/Nominal2_Supp.thy	Tue May 04 05:36:43 2010 +0100
@@ -539,4 +539,5 @@
   using fin
   by (simp add: supp_of_fin_sets)
 
+
 end




