src/HOL/Nat_Numeral.thy
changeset 31096 e546e15089ef
parent 31080 21ffc770ebc0
child 31104 ac8a12b0ed3c
     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