
diff -r fb201e383f1b -r da575186d492 Nominal/Ex/Multi_Recs.thy
--- a/Nominal/Ex/Multi_Recs.thy	Tue Feb 19 05:38:46 2013 +0000
+++ b/Nominal/Ex/Multi_Recs.thy	Tue Feb 19 06:58:14 2013 +0000
@@ -49,6 +49,8 @@
 thm multi_recs.perm_bn_simps
 thm multi_recs.bn_finite
 
+
+
 end
 
 




