| changeset 14400 | 6069098854b9 |
| parent 13111 | 2d6782e71702 |
| child 15364 | 0c3891c3528f |
--- 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)}}