tuned whitespace

--- a/src/HOL/Numeral_Simprocs.thy	Mon Jul 19 16:09:43 2010 +0200
+++ b/src/HOL/Numeral_Simprocs.thy	Mon Jul 19 16:09:44 2010 +0200
@@ -92,7 +92,6 @@
      "(k*m) div (k*n) = (if k = (0::nat) then 0 else m div n)"
 by (simp add: nat_mult_div_cancel1)
 
-
 use "Tools/numeral_simprocs.ML"
 
 use "Tools/nat_numeral_simprocs.ML"
@@ -117,4 +116,4 @@
   #> Lin_Arith.add_simprocs (Nat_Numeral_Simprocs.combine_numerals :: Nat_Numeral_Simprocs.cancel_numerals))
 *}
 
-end
\ No newline at end of file
+end