6 |
6 |
7 \usepackage{ifthen} |
7 \usepackage{ifthen} |
8 |
8 |
9 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}} |
9 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}} |
10 |
10 |
11 \newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}} |
11 \newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}} |
12 \newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}} |
12 \newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}} |
13 \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}} |
13 \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}\index{Commands!#1|bold}} |
14 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}} |
14 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}\index{Proof methods!#1|bold}} |
15 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}} |
15 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}\index{Attributes!#1|bold}} |
16 \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}} |
16 \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}\index{Theorems!#1|bold}} |
17 |
17 |
18 \newcommand{\isarcmd}[1]{\isarkeyword{#1}} |
18 \newcommand{\isarcmd}[1]{\isarkeyword{#1}} |
19 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2} |
19 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2} |
20 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1} |
20 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1} |
21 \newcommand{\isarmeth}{method} |
21 \newcommand{\isarmeth}{method} |