diff -r 2c6851248b3f -r 542ff50555f5 Nominal/Ex/Datatypes.thy
--- a/Nominal/Ex/Datatypes.thy	Mon May 09 04:49:58 2011 +0100
+++ b/Nominal/Ex/Datatypes.thy	Tue May 10 07:47:06 2011 +0100
@@ -91,6 +91,8 @@
 thm set_ty.size_eqvt
 thm set_ty.supp
 
+
+
 end