1.1 --- a/doc-src/TutorialI/tutorial.sty	Thu Feb 19 16:44:21 2004 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.sty	Thu Feb 19 17:57:54 2004 +0100
     1.3 @@ -34,6 +34,7 @@
     1.4  
     1.5  \newcommand\cldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (class)}}
     1.6  \newcommand\tydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (type)}}
     1.7 +\newcommand\tcdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (type class)}}
     1.8  \newcommand\thydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theory)}}
     1.9  
    1.10  \newcommand\attrdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (attribute)}}