--- a/src/HOL/Nat_Numeral.thy Mon May 11 08:28:09 2009 -0700
+++ b/src/HOL/Nat_Numeral.thy Mon May 11 08:28:49 2009 -0700
@@ -1056,4 +1056,4 @@
Suc_mod_eq_add3_mod [of _ "number_of v", standard]
declare Suc_mod_eq_add3_mod_number_of [simp]
-end
\ No newline at end of file
+end