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.
Converted TABs to spaces
authorpaulson
Tue, 05 Mar 1996 15:55:15 +0100
changeset 1540 eacaa07e9078
parent 1539 f21c8fab7c3c
child 1541 c81c770f47ef
Converted TABs to spaces
src/HOL/Nat.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Nat.thy	Tue Mar 05 15:52:59 1996 +0100
+++ b/src/HOL/Nat.thy	Tue Mar 05 15:55:15 1996 +0100
@@ -68,7 +68,7 @@
   le_def        "m<=(n::nat) == ~(n<m)"
 
   nat_rec_def   "nat_rec n c d ==
-		 wfrec pred_nat (%f. nat_case c (%m. d m (f m))) n"
+                 wfrec pred_nat (%f. nat_case c (%m. d m (f m))) n"
   (*least number operator*)
   Least_def     "Least(P) == @k. P(k) & (ALL j. j<k --> ~P(j))"
isabelle