equal
deleted
inserted
replaced
21 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1} |
21 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1} |
22 \newcommand{\isarmeth}{method} |
22 \newcommand{\isarmeth}{method} |
23 \newcommand{\isaratt}{attribute} |
23 \newcommand{\isaratt}{attribute} |
24 |
24 |
25 \newcommand{\I@optname}[1]{\ifthenelse{\equal{}{#1}}{}{~#1\colon}} |
25 \newcommand{\I@optname}[1]{\ifthenelse{\equal{}{#1}}{}{~#1\colon}} |
26 \newcommand{\I@optoptname}[1]{\ifthenelse{\equal{}{#1}}{}{~[#1\colon]}} |
|
27 \newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~(#1)}} |
26 \newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~(#1)}} |
28 \newcommand{\I@optoptmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~[(#1)]}} |
|
29 |
27 |
30 \newcommand{\LEMMANAME}{\isarkeyword{lemma}} |
28 \newcommand{\LEMMANAME}{\isarkeyword{lemma}} |
31 \newcommand{\THEOREMNAME}{\isarkeyword{theorem}} |
29 \newcommand{\THEOREMNAME}{\isarkeyword{theorem}} |
32 \newcommand{\NOTENAME}{\isarkeyword{note}} |
30 \newcommand{\NOTENAME}{\isarkeyword{note}} |
33 \newcommand{\FROMNAME}{\isarkeyword{from}} |
31 \newcommand{\FROMNAME}{\isarkeyword{from}} |