src/HOL/Subst/Subst.thy

--- a/src/HOL/Subst/Subst.thy	Wed Oct 04 13:11:57 1995 +0100
+++ b/src/HOL/Subst/Subst.thy	Wed Oct 04 13:12:14 1995 +0100
@@ -26,7 +26,7 @@
                          (%x.Const(x))			
                          (%u v q r.Comb q r)"
 
-  comp_def     "al <> bl == alist_rec al bl (%x y xs g.(x,y <| bl)#g)"
+  comp_def    "al <> bl == alist_rec al bl (%x y xs g.(x,y <| bl)#g)"
 
   sdom_def
   "sdom(al) == alist_rec al {}