diff options
Diffstat (limited to 'doc/macros.tex')
| -rwxr-xr-x | doc/macros.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/macros.tex b/doc/macros.tex index 6b3c2ed3b..2bcffd354 100755 --- a/doc/macros.tex +++ b/doc/macros.tex @@ -112,7 +112,8 @@ \newcommand{\fixpoint}{\textrm{\textsl{fixpoint}}} \newcommand{\flag}{\textrm{\textsl{flag}}} \newcommand{\form}{\textrm{\textsl{form}}} -\newcommand{\gensymbol}{\textrm{\textsl{symbol}}} +\newcommand{\entry}{\textrm{\textsl{entry}}} +\newcommand{\symbolentry}{\textrm{\textsl{symbol}}} \newcommand{\localassums}{\textrm{\textsl{local\_assums}}} \newcommand{\localdef}{\textrm{\textsl{local\_def}}} \newcommand{\localdecls}{\textrm{\textsl{local\_decls}}} |