equal
deleted
inserted
replaced
9 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}} |
9 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}} |
10 |
10 |
11 \newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}} |
11 \newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}} |
12 \newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}} |
12 \newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}} |
13 \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}\index{Commands!#1|bold}} |
13 \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}\index{Commands!#1|bold}} |
14 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}\index{Proof methods!#1|bold}} |
14 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}\index{Methods!#1|bold}} |
15 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}\index{Attributes!#1|bold}} |
15 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}\index{Attributes!#1|bold}} |
16 \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}\index{Theorems!#1|bold}} |
16 \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}\index{Theorems!#1|bold}} |
17 \newcommand{\indexisarvar}[1]{\index{#1 (variable)|bold}\index{Variables!#1|bold}} |
17 \newcommand{\indexisarvar}[1]{\index{#1 (variable)|bold}\index{Variables!#1|bold}} |
18 |
18 |
19 \newcommand{\isarcmd}[1]{\isarkeyword{#1}} |
19 \newcommand{\isarcmd}[1]{\isarkeyword{#1}} |