# HG changeset patch
# User huffman
# Date 1242055729 25200
# Node ID e546e15089efb07499bc804f7be4ce9ac5591e47
# Parent  b79d140f6d0bb7526991cfcf316c4caef0946fea
newline at end of file

diff -r b79d140f6d0b -r e546e15089ef src/HOL/Nat_Numeral.thy
--- 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