1.1 --- a/doc-src/iman.sty	Thu Jul 03 17:20:07 1997 +0200
     1.2 +++ b/doc-src/iman.sty	Thu Jul 03 17:21:14 1997 +0200
     1.3 @@ -31,7 +31,7 @@
     1.4  \newcommand\ndxbold[1]{{\tt#1}\index{#1@{\tt#1} nonterminal|bold}}
     1.5  
     1.6  \newcommand\cldx[1]{{\tt#1}\index{#1@{\tt#1} class}}
     1.7 -\newcommand\tydx[1]{{\tt#1}\index{#1@{\tt#1} type}}
     1.8 +\newcommand\tydx[1]{\textit{#1}\index{#1@{\textit{#1}} type}}
     1.9  \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}}
    1.10  
    1.11  \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}}