Converted TABs to spaces
authorpaulson
Tue Mar 05 15:55:15 1996 +0100 (1996-03-05)
changeset 1540eacaa07e9078
parent 1539 f21c8fab7c3c
child 1541 c81c770f47ef
Converted TABs to spaces
src/HOL/Nat.thy
     1.1 --- a/src/HOL/Nat.thy	Tue Mar 05 15:52:59 1996 +0100
     1.2 +++ b/src/HOL/Nat.thy	Tue Mar 05 15:55:15 1996 +0100
     1.3 @@ -68,7 +68,7 @@
     1.4    le_def        "m<=(n::nat) == ~(n<m)"
     1.5  
     1.6    nat_rec_def   "nat_rec n c d ==
     1.7 -		 wfrec pred_nat (%f. nat_case c (%m. d m (f m))) n"
     1.8 +                 wfrec pred_nat (%f. nat_case c (%m. d m (f m))) n"
     1.9    (*least number operator*)
    1.10    Least_def     "Least(P) == @k. P(k) & (ALL j. j<k --> ~P(j))"
    1.11