fixed indentation

--- a/Nat.thy	Fri Jul 08 17:39:02 1994 +0200
+++ b/Nat.thy	Tue Jul 12 16:34:45 1994 +0200
@@ -44,7 +44,7 @@
   Suc_def  		"Suc == (%n. Abs_Nat(Suc_Rep(Rep_Nat(n))))"
      (*nat operations and recursion*)
   nat_case_def	"nat_case == (%n a f. @z.  (n=0 --> z=a)  \
-\                                          & (!x. n=Suc(x) --> z=f(x)))"
+\                                        & (!x. n=Suc(x) --> z=f(x)))"
   pred_nat_def 	"pred_nat == {p. ? n. p = <n, Suc(n)>}"
 
   less_def "m<n == <m,n>:trancl(pred_nat)"