1.1 --- a/doc-src/TutorialI/tutorial.sty	Thu Dec 02 12:28:09 2004 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.sty	Thu Dec 02 14:47:07 2004 +0100
     1.3 @@ -28,6 +28,7 @@
     1.4  %%%% for indexing constants, symbols, theorems, ...
     1.5  \newcommand\cdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (constant)}}
     1.6  \newcommand\sdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (symbol)}}
     1.7 +\newcommand\sdxpos[2]{\isa{#1}\index{#2@\protect\isa{#1} (symbol)}}
     1.8  
     1.9  \newcommand\tdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theorem)}}
    1.10  \newcommand\tdxbold[1]{\isa{#1}\index{#1@\protect\isa{#1} (theorem)|bold}}
    1.11 @@ -51,6 +52,9 @@
    1.12  \newcommand\ttindex[1]{\texttt{#1}\index{#1@\texttt{#1}}\@}
    1.13  \newcommand\ttindexbold[1]{\texttt{#1}\index{#1@\texttt{#1}|bold}\@}
    1.14  
    1.15 +\newcommand{\isadxpos}[2]{\isa{#1}\index{#2@\protect\isa{#1}}\@}
    1.16 +\newcommand{\isadxboldpos}[2]{\isa{#1}\index{#2@\protect\isa{#1}|bold}\@}
    1.17 +
    1.18  %Commented-out the original versions to see what the index looks like without them.
    1.19  %   In any event, they need to use \isa or \protect\isa rather than \texttt.
    1.20  %%\newcommand{\indexboldpos}[2]{#1\index{#2@#1|bold}\@}