
diff -r 7ab36bc29cc2 -r b0b2adafb6d2 Nominal/Nominal2_Base.thy
--- a/Nominal/Nominal2_Base.thy	Tue Jul 05 15:01:10 2011 +0200
+++ b/Nominal/Nominal2_Base.thy	Tue Jul 05 16:22:18 2011 +0200
@@ -3059,4 +3059,5 @@
 
 
 
+
 end




