--- a/doc-src/TutorialI/tutorial.sty Mon Jul 16 13:14:19 2001 +0200
+++ b/doc-src/TutorialI/tutorial.sty Tue Jul 17 13:46:21 2001 +0200
@@ -33,7 +33,7 @@
\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)}}
@@ -52,8 +52,6 @@
\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]