1.1 --- a/doc-src/Ref/theories.tex	Fri Dec 05 17:31:01 1997 +0100
     1.2 +++ b/doc-src/Ref/theories.tex	Fri Dec 05 18:44:56 1997 +0100
     1.3 @@ -588,7 +588,7 @@
     1.4  incr_boundvars : int -> term -> term
     1.5  abstract_over  : term*term -> term
     1.6  variant_abs    : string * typ * term -> string * term
     1.7 -aconv          : term*term -> bool\hfill{\bf infix}
     1.8 +aconv          : term * term -> bool\hfill{\bf infix}
     1.9  \end{ttbox}
    1.10  These functions are all concerned with the de Bruijn representation of
    1.11  bound variables.