equal
deleted
inserted
replaced
28 \newcommand{\isarantiq}{antiquotation} |
28 \newcommand{\isarantiq}{antiquotation} |
29 \newcommand{\isarmeth}{method} |
29 \newcommand{\isarmeth}{method} |
30 \newcommand{\isaratt}{attribute} |
30 \newcommand{\isaratt}{attribute} |
31 |
31 |
32 \newcommand{\I@optname}[1]{\ifthenelse{\equal{}{#1}}{}{~#1\colon}} |
32 \newcommand{\I@optname}[1]{\ifthenelse{\equal{}{#1}}{}{~#1\colon}} |
33 \newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~(#1)}} |
33 \newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~#1}} |
34 |
34 |
35 \newcommand{\AND}{\isarkeyword{and}} |
35 \newcommand{\AND}{\isarkeyword{and}} |
36 \newcommand{\IN}{\isarkeyword{in}} |
36 \newcommand{\IN}{\isarkeyword{in}} |
37 \newcommand{\COROLLARYNAME}{\isarkeyword{corollary}} |
37 \newcommand{\COROLLARYNAME}{\isarkeyword{corollary}} |
38 \newcommand{\LEMMANAME}{\isarkeyword{lemma}} |
38 \newcommand{\LEMMANAME}{\isarkeyword{lemma}} |