Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace
authorhaftmann
Wed, 30 Sep 2009 08:21:53 +0200
changeset 32772 50d090ca93f8
parent 32736 f126e68d003d
child 32773 f6fd4ccd8eea
tuned whitespace
src/HOL/Nat.thy file | annotate | diff | comparison | revisions 
--- 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]
isabelle