diff options
Diffstat (limited to 'doc/common')
| -rwxr-xr-x | doc/common/macros.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/common/macros.tex b/doc/common/macros.tex index b464a96220..ef632371df 100755 --- a/doc/common/macros.tex +++ b/doc/common/macros.tex @@ -190,6 +190,8 @@ \newcommand{\pattern}{\textrm{\textsl{pattern}}} \newcommand{\orpattern}{\textrm{\textsl{or\_pattern}}} \newcommand{\intropattern}{\textrm{\textsl{intro\_pattern}}} +\newcommand{\disjconjintropattern}{\textrm{\textsl{disj\_conj\_intro\_pattern}}} +\newcommand{\namingintropattern}{\textrm{\textsl{naming\_intro\_pattern}}} \newcommand{\pat}{\textrm{\textsl{pat}}} \newcommand{\pgs}{\textrm{\textsl{pgms}}} \newcommand{\pg}{\textrm{\textsl{pgm}}} |