newline at end of file
authorhuffman
Mon May 11 08:28:49 2009 -0700 (2009-05-11)
changeset 31096e546e15089ef
parent 31095 b79d140f6d0b
child 31097 a09767ab684d
newline at end of file
src/HOL/Nat_Numeral.thy
     1.1 --- a/src/HOL/Nat_Numeral.thy	Mon May 11 08:28:09 2009 -0700
     1.2 +++ b/src/HOL/Nat_Numeral.thy	Mon May 11 08:28:49 2009 -0700
     1.3 @@ -1056,4 +1056,4 @@
     1.4      Suc_mod_eq_add3_mod [of _ "number_of v", standard]
     1.5  declare Suc_mod_eq_add3_mod_number_of [simp]
     1.6  
     1.7 -end
     1.8 \ No newline at end of file
     1.9 +end