equal
deleted
inserted
replaced
34 \newcommand\tydx[1]{\textit{#1}\index{#1@{\textit{#1}} type}} |
34 \newcommand\tydx[1]{\textit{#1}\index{#1@{\textit{#1}} type}} |
35 \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}} |
35 \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}} |
36 |
36 |
37 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}} |
37 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}} |
38 \newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}} |
38 \newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}} |
|
39 \newcommand\attdx[1]{{\tt#1}\index{#1@{\tt#1} attribute}} |
|
40 \newcommand\methdx[1]{{\tt#1}\index{#1@{\tt#1} proof method}} |
39 |
41 |
40 %for cross-references: 2nd argument (page number) is ignored |
42 %for cross-references: 2nd argument (page number) is ignored |
41 \newcommand\see[2]{{\it see \/}{#1}} |
43 \newcommand\see[2]{{\it see \/}{#1}} |
42 \newcommand\seealso[2]{{\it see also \/}{#1}} |
44 \newcommand\seealso[2]{{\it see also \/}{#1}} |
43 |
45 |