diff options
Diffstat (limited to 'doc/common/macros.tex')
| -rwxr-xr-x | doc/common/macros.tex | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/common/macros.tex b/doc/common/macros.tex index 6b6c158b51..1c4fa7e1f9 100755 --- a/doc/common/macros.tex +++ b/doc/common/macros.tex @@ -125,7 +125,9 @@ \newcommand{\caseitem}{\nterm{match\_item}} \newcommand{\eqn}{\nterm{equation}} \newcommand{\ifitem}{\nterm{dep\_ret\_type}} -\newcommand{\letclauses}{\nterm{letclauses}} +\newcommand{\convclause}{\nterm{conversion\_clause}} +\newcommand{\occclause}{\nterm{occurrence\_clause}} +\newcommand{\occset}{\nterm{occurrence\_set}} \newcommand{\params}{\nterm{params}} % vernac \newcommand{\returntype}{\nterm{return\_type}} \newcommand{\idparams}{\nterm{ident\_with\_params}} |