doc-src/iman.sty

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