--- a/doc-src/TutorialI/tutorial.sty Thu Jul 26 16:43:02 2001 +0200
+++ b/doc-src/TutorialI/tutorial.sty Thu Jul 26 18:23:38 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@\protect\isa{#1} (type)}}
+\newcommand\tydx[1]{\isa{#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)}}