src/HOL/Nat.thy
changeset 32772 50d090ca93f8
parent 32456 341c83339aeb
child 33274 b6ff7db522b5
--- 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]