1.1 --- a/doc-src/Ref/syntax.tex	Sun Jul 16 20:46:44 2000 +0200
     1.2 +++ b/doc-src/Ref/syntax.tex	Sun Jul 16 20:47:15 2000 +0200
     1.3 @@ -422,9 +422,6 @@
     1.4  \begin{itemize}
     1.5  \item Rules must be left linear: $l$ must not contain repeated variables.
     1.6  
     1.7 -\item Rules must have constant heads, namely $l = \mtt"c\mtt"$ or $l =
     1.8 -  (\mtt"c\mtt" ~ x@1 \ldots x@n)$.
     1.9 -
    1.10  \item Every variable in~$r$ must also occur in~$l$.
    1.11  \end{itemize}
    1.12