doc-src/iman.sty

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