diff options
| -rw-r--r-- | doc/RefMan-tac.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/RefMan-tac.tex b/doc/RefMan-tac.tex index 65efb1709..2f7a66fc8 100644 --- a/doc/RefMan-tac.tex +++ b/doc/RefMan-tac.tex @@ -681,11 +681,11 @@ The syntax and description of the various clauses follows: \item[\texttt{in * |-}] in every hypothesis \item[\texttt{in *}] (equivalent to \texttt{in * |- *}) everywhere \item[\texttt{in (type of H$_1$) (value of H$_2$) $\ldots$ |-}] in - type part of $H_1$ in the value part of $H_2$, etc. + type part of $H_1$, in the value part of $H_2$, etc. \end{description} For backward compatibility, the notation \texttt{in}~$H_1\ldots H_n$ -performs the conversion in hypothesis $H_1\ldots H_n$. +performs the conversion in hypotheses $H_1\ldots H_n$. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %voir reduction__conv_x : histoires d'univers. |