# HG changeset patch
# User haftmann
# Date 1254291713 -7200
# Node ID 50d090ca93f8874483c38315c9338123cfbf7a31
# Parent  f126e68d003d74128f3d7394052fea905a7bf42a
tuned whitespace

diff -r f126e68d003d -r 50d090ca93f8 src/HOL/Nat.thy
--- a/src/HOL/Nat.thy	Mon Sep 28 23:51:13 2009 +0200
+++ b/src/HOL/Nat.thy	Wed Sep 30 08:21:53 2009 +0200
@@ -86,7 +86,7 @@
   assumes "P 0"
     and "\<And>n. P n \<Longrightarrow> P (Suc n)"
   shows "P n"
-  using assms by (rule nat.induct) 
+  using assms by (rule nat.induct)
 
 declare nat.exhaust [case_names 0 Suc, cases type: nat]