# HG changeset patch
# User wenzelm
# Date 963773235 -7200
# Node ID d855d9d1add94aaeb92a6e59221c5e56e094c6d8
# Parent  d43669fb423d6761fe69d46b4a902d2f363bcd27
AST translation rules no longer require constant head on LHS;

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