src/HOL/Subst/Subst.thy

--- a/src/HOL/Subst/Subst.thy	Thu Mar 23 15:39:13 1995 +0100
+++ b/src/HOL/Subst/Subst.thy	Fri Mar 24 12:30:35 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 {}  \