Tidied up the indentation

--- a/src/HOL/Lambda/ParRed.thy	Mon Apr 21 10:16:41 1997 +0200
+++ b/src/HOL/Lambda/ParRed.thy	Mon Apr 21 10:38:46 1997 +0200
@@ -28,10 +28,9 @@
 
 primrec cd dB
   "cd(Var n) = Var n"
-  "cd(s @ t) = (case s of
-            Var n => s @ (cd t) |
-            s1 @ s2 => (cd s) @ (cd t) |
-            Abs u => deAbs(cd s)[cd t/0])"
+  "cd(s @ t) = (case s of Var n   => (s @ cd t)
+                        | s1 @ s2 => (cd s @ cd t) 
+                        | Abs u   => deAbs(cd s)[cd t/0])"
   "cd(Abs s) = Abs(cd s)"
 
 primrec deAbs dB