
diff -r 33a94c5fc7bb -r 247ca17caddd src/HOL/Nominal/Examples/Recursion.thy
--- a/src/HOL/Nominal/Examples/Recursion.thy	Tue May 16 13:05:37 2006 +0200
+++ b/src/HOL/Nominal/Examples/Recursion.thy	Tue May 16 14:11:39 2006 +0200
@@ -181,4 +181,5 @@
 apply(simp add: rfun_def)
 done
 
+
 end
\ No newline at end of file




