diff options
| -rw-r--r-- | doc/RefMan-gal.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/RefMan-gal.tex b/doc/RefMan-gal.tex index c486be344b..13341bf995 100644 --- a/doc/RefMan-gal.tex +++ b/doc/RefMan-gal.tex @@ -720,6 +720,9 @@ as a postulate. \item {\tt Parameter \nelist{\nelistwithoutblank{\ident}{,} : {\term}}{;} {\tt .}} \\ % Is equivalent to {\tt Axiom {\lident} : {\term}} Links the {\term}'s to the names comprising the lists \nelist{\nelist{\ident}{,} : {\term}}{;}. +\item {\tt Conjecture {\ident} : {\term}.} + \comindex{Conjecture}\\ + Is equivalent to {\tt Axiom {\ident} : {\term}}. \end{Variants} \noindent {\bf Remark: } It is possible to replace {\tt Parameter} by |