equal
deleted
inserted
replaced
14 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}\index{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 \newcommand{\indexisarcase}[1]{\index{#1 (case)|bold}\index{Cases!#1|bold}} |
18 \newcommand{\indexisarcase}[1]{\index{#1 (case)|bold}\index{Cases!#1|bold}} |
|
19 \newcommand{\indexisarant}[1]{\index{#1 (antiquotation)|bold}\index{Antiquotations!#1|bold}} |
19 |
20 |
20 \newcommand{\isarcmd}[1]{\isarkeyword{#1}} |
21 \newcommand{\isarcmd}[1]{\isarkeyword{#1}} |
21 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2} |
22 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2} |
22 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1} |
23 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1} |
23 \newcommand{\isarmeth}{method} |
24 \newcommand{\isarmeth}{method} |