diff options
Diffstat (limited to 'doc/common')
| -rwxr-xr-x | doc/common/macros.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/common/macros.tex b/doc/common/macros.tex index ef632371df..69f9b2f410 100755 --- a/doc/common/macros.tex +++ b/doc/common/macros.tex @@ -98,6 +98,9 @@ \newcommand{\pCIC}{p\textsc{Cic}} \newcommand{\iCIC}{\textsc{Cic}} \newcommand{\FW}{\ensuremath{F_{\omega}}} +\newcommand{\Program}{\textsc{Program}} +\newcommand{\Russell}{\textsc{Russell}} +\newcommand{\PVS}{\textsc{PVS}} %\newcommand{\bn}{{\sf BNF}} %%%%%%%%%%%%%%%%%%% |