equal
deleted
inserted
replaced
37 \newcommand{\LEMMANAME}{\isarkeyword{lemma}} |
37 \newcommand{\LEMMANAME}{\isarkeyword{lemma}} |
38 \newcommand{\THEOREMNAME}{\isarkeyword{theorem}} |
38 \newcommand{\THEOREMNAME}{\isarkeyword{theorem}} |
39 \newcommand{\NOTENAME}{\isarkeyword{note}} |
39 \newcommand{\NOTENAME}{\isarkeyword{note}} |
40 \newcommand{\FROMNAME}{\isarkeyword{from}} |
40 \newcommand{\FROMNAME}{\isarkeyword{from}} |
41 \newcommand{\WITHNAME}{\isarkeyword{with}} |
41 \newcommand{\WITHNAME}{\isarkeyword{with}} |
|
42 \newcommand{\USINGNAME}{\isarkeyword{using}} |
42 \newcommand{\FIXNAME}{\isarkeyword{fix}} |
43 \newcommand{\FIXNAME}{\isarkeyword{fix}} |
43 \newcommand{\ASSUMENAME}{\isarkeyword{assume}} |
44 \newcommand{\ASSUMENAME}{\isarkeyword{assume}} |
44 \newcommand{\PRESUMENAME}{\isarkeyword{presume}} |
45 \newcommand{\PRESUMENAME}{\isarkeyword{presume}} |
45 \newcommand{\CASENAME}{\isarkeyword{case}} |
46 \newcommand{\CASENAME}{\isarkeyword{case}} |
46 \newcommand{\HAVENAME}{\isarkeyword{have}} |
47 \newcommand{\HAVENAME}{\isarkeyword{have}} |
72 \newcommand{\TEXT}{\isarkeyword{text}} |
73 \newcommand{\TEXT}{\isarkeyword{text}} |
73 \newcommand{\TXT}{\isarkeyword{txt}} |
74 \newcommand{\TXT}{\isarkeyword{txt}} |
74 \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2} |
75 \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2} |
75 \newcommand{\FROM}[1]{\FROMNAME~#1} |
76 \newcommand{\FROM}[1]{\FROMNAME~#1} |
76 \newcommand{\WITH}[1]{\WITHNAME~#1} |
77 \newcommand{\WITH}[1]{\WITHNAME~#1} |
|
78 \newcommand{\USING}[1]{\USINGNAME~#1} |
77 \newcommand{\FIX}[1]{\FIXNAME~#1} |
79 \newcommand{\FIX}[1]{\FIXNAME~#1} |
78 \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2} |
80 \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2} |
79 \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2} |
81 \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2} |
80 \newcommand{\CASE}[1]{\CASENAME~#1} |
82 \newcommand{\CASE}[1]{\CASENAME~#1} |
81 \newcommand{\THEN}{\isarkeyword{then}} |
83 \newcommand{\THEN}{\isarkeyword{then}} |