4 %% Isar language elements |
4 %% Isar language elements |
5 %% |
5 %% |
6 |
6 |
7 \usepackage{ifthen} |
7 \usepackage{ifthen} |
8 |
8 |
|
9 \newcommand{\indexdef}[3]% |
|
10 {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}} |
|
11 \newcommand{\indexref}[3]{\ifthenelse{\equal{}{#1}}{\index{#3 (#2)}}{\index{#3 (#1\ #2)}}} |
|
12 |
|
13 \newcommand{\indexoutertoken}[1]{\indexdef{}{syntax}{#1}} |
|
14 \newcommand{\indexouternonterm}[1]{\indexdef{}{syntax}{#1}} |
|
15 \newcommand{\indexisarcmd}[1]{\indexdef{}{command}{#1}} |
|
16 \newcommand{\indexisarelem}[1]{\indexdef{}{element}{#1}} |
|
17 \newcommand{\indexisarmeth}[1]{\indexdef{}{method}{#1}} |
|
18 \newcommand{\indexisaratt}[1]{\indexdef{}{attribute}{#1}} |
|
19 \newcommand{\indexisarthm}[1]{\indexdef{}{fact}{#1}} |
|
20 \newcommand{\indexisarvar}[1]{\indexdef{}{term}{#1}} |
|
21 \newcommand{\indexisarcase}[1]{\indexdef{}{case}{#1}} |
|
22 \newcommand{\indexisarant}[1]{\indexdef{}{antiquotation}{#1}} |
|
23 \newcommand{\indexisarcmdof}[2]{\indexdef{#1}{command}{#2}} |
|
24 \newcommand{\indexisarmethof}[2]{\indexdef{#1}{method}{#2}} |
|
25 \newcommand{\indexisarattof}[2]{\indexdef{#1}{attribute}{#2}} |
|
26 |
9 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}} |
27 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}} |
10 |
|
11 \newcommand{\indexoutersyntax}[1]{\index{#1 (syntax)|bold}} |
|
12 \newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}} |
|
13 \newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}} |
|
14 \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}} |
|
15 \newcommand{\indexisarelem}[1]{\index{#1 (element)|bold}} |
|
16 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}} |
|
17 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}} |
|
18 \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}} |
|
19 \newcommand{\indexisarvar}[1]{\index{#1 (variable)|bold}} |
|
20 \newcommand{\indexisarcase}[1]{\index{#1 (case)|bold}} |
|
21 \newcommand{\indexisarant}[1]{\index{#1 (antiquotation)|bold}} |
|
22 |
|
23 \newcommand{\indexisarcmdof}[2]{\index{#2 (#1 command)|bold}} |
|
24 \newcommand{\indexisarmethof}[2]{\index{#2 (#1 method)|bold}} |
|
25 \newcommand{\indexisarattof}[2]{\index{#2 (#1 attribute)|bold}} |
|
26 |
|
27 \newcommand{\isarcmd}[1]{\isarkeyword{#1}} |
28 \newcommand{\isarcmd}[1]{\isarkeyword{#1}} |
28 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2} |
29 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2} |
29 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1} |
30 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1} |
30 \newcommand{\isarantiq}{antiquotation} |
31 \newcommand{\isarantiq}{antiquotation} |
31 \newcommand{\isarmeth}{method} |
32 \newcommand{\isarmeth}{method} |