diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/syntax-v8.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/syntax-v8.tex b/doc/syntax-v8.tex index 031fd8b251..3276b72121 100644 --- a/doc/syntax-v8.tex +++ b/doc/syntax-v8.tex @@ -420,6 +420,7 @@ $$ \TERM{(}~\NT{ident}~\KWD{:=}~\taclconstr~\TERM{)} \nlsep \TERM{generalize}~\PLUS{\tacconstr} \nlsep \TERM{generalize}~\TERM{dependent}~\tacconstr +\nlsep \TERM{set}~\tacconstr~\OPT{\NT{clause}} \nlsep \TERM{set}~ \TERM{(}~\NT{ident}~\KWD{:=}~\taclconstr~\TERM{)}~\OPT{\NT{clause}} \nlsep \TERM{instantiate}~ |