
diff -r dc677b35e54f -r 6069098854b9 doc-src/TutorialI/tutorial.sty
--- a/doc-src/TutorialI/tutorial.sty	Thu Feb 19 16:44:21 2004 +0100
+++ b/doc-src/TutorialI/tutorial.sty	Thu Feb 19 17:57:54 2004 +0100
@@ -34,6 +34,7 @@
 
 \newcommand\cldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (class)}}
 \newcommand\tydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (type)}}
+\newcommand\tcdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (type class)}}
 \newcommand\thydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theory)}}
 
 \newcommand\attrdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (attribute)}}




