doc-src/TutorialI/tutorial.sty

 
 \newcommand\tdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theorem)}}
 \newcommand\tdxbold[1]{\isa{#1}\index{#1@\protect\isa{#1} (theorem)|bold}}
 
 \newcommand\cldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (class)}}
-\newcommand\tydx[1]{\textit{#1}\index{#1@{\textit{#1}} (type)}}
+\newcommand\tydx[1]{\textit{#1}\index{#1@\protect\isa{#1} (type)}}
 \newcommand\thydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theory)}}
 
 \newcommand\attrdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (attribute)}}
 \newcommand\commdx[1]{\isacommand{#1}\index{#1@\protect\isacommand{#1}
 (command)}}

 \newcommand\ttindex[1]{\texttt{#1}\index{#1@\texttt{#1}}\@}
 \newcommand\ttindexbold[1]{\texttt{#1}\index{#1@\texttt{#1}|bold}\@}
 
 \newcommand{\indexboldpos}[2]{#1\index{#2@#1|bold}\@}
 \newcommand{\ttindexboldpos}[2]{\texttt{#1}\index{#2@\texttt{#1}|bold}\@}
-\newcommand{\isaindexbold}[1]{\isa{#1}\index{*#1|bold}\@}
-\newcommand{\isaindex}[1]{\isa{#1}\index{*#1}\@}
 
 %\newtheorem{theorem}{Theorem}[section]
 \newtheorem{Exercise}{Exercise}[section]
 \newenvironment{exercise}{\begin{Exercise}\rm}{\end{Exercise}}
 \newcommand{\ttlbr}{\texttt{[|}}