1.1 --- a/doc-src/iman.sty	Mon Aug 23 15:24:00 1999 +0200
     1.2 +++ b/doc-src/iman.sty	Mon Aug 23 15:27:27 1999 +0200
     1.3 @@ -36,8 +36,6 @@
     1.4  
     1.5  \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}}
     1.6  \newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}}
     1.7 -\newcommand\attdx[1]{$#1$\index{#1@$#1$ attribute}}
     1.8 -\newcommand\methdx[1]{$#1$\index{#1@$#1$ proof method}}
     1.9  
    1.10  %for cross-references: 2nd argument (page number) is ignored
    1.11  \newcommand\see[2]{{\it see \/}{#1}}