1.1 --- a/doc-src/TutorialI/tutorial.sty	Mon Jul 16 13:14:19 2001 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.sty	Tue Jul 17 13:46:21 2001 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4  \newcommand\tdxbold[1]{\isa{#1}\index{#1@\protect\isa{#1} (theorem)|bold}}
     1.5  
     1.6  \newcommand\cldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (class)}}
     1.7 -\newcommand\tydx[1]{\textit{#1}\index{#1@{\textit{#1}} (type)}}
     1.8 +\newcommand\tydx[1]{\textit{#1}\index{#1@\protect\isa{#1} (type)}}
     1.9  \newcommand\thydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theory)}}
    1.10  
    1.11  \newcommand\attrdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (attribute)}}
    1.12 @@ -52,8 +52,6 @@
    1.13  
    1.14  \newcommand{\indexboldpos}[2]{#1\index{#2@#1|bold}\@}
    1.15  \newcommand{\ttindexboldpos}[2]{\texttt{#1}\index{#2@\texttt{#1}|bold}\@}
    1.16 -\newcommand{\isaindexbold}[1]{\isa{#1}\index{*#1|bold}\@}
    1.17 -\newcommand{\isaindex}[1]{\isa{#1}\index{*#1}\@}
    1.18  
    1.19  %\newtheorem{theorem}{Theorem}[section]
    1.20  \newtheorem{Exercise}{Exercise}[section]