equal
deleted
inserted
replaced
40 \newcommand{\THEOREMNAME}{\isarkeyword{theorem}} |
40 \newcommand{\THEOREMNAME}{\isarkeyword{theorem}} |
41 \newcommand{\NOTENAME}{\isarkeyword{note}} |
41 \newcommand{\NOTENAME}{\isarkeyword{note}} |
42 \newcommand{\FROMNAME}{\isarkeyword{from}} |
42 \newcommand{\FROMNAME}{\isarkeyword{from}} |
43 \newcommand{\WITHNAME}{\isarkeyword{with}} |
43 \newcommand{\WITHNAME}{\isarkeyword{with}} |
44 \newcommand{\USINGNAME}{\isarkeyword{using}} |
44 \newcommand{\USINGNAME}{\isarkeyword{using}} |
|
45 \newcommand{\UNFOLDINGNAME}{\isarkeyword{unfolding}} |
45 \newcommand{\FIXESNAME}{\isarkeyword{fixes}} |
46 \newcommand{\FIXESNAME}{\isarkeyword{fixes}} |
46 \newcommand{\CONSTRAINSNAME}{\isarkeyword{constrains}} |
47 \newcommand{\CONSTRAINSNAME}{\isarkeyword{constrains}} |
47 \newcommand{\ASSUMESNAME}{\isarkeyword{assumes}} |
48 \newcommand{\ASSUMESNAME}{\isarkeyword{assumes}} |
48 \newcommand{\DEFINESNAME}{\isarkeyword{defines}} |
49 \newcommand{\DEFINESNAME}{\isarkeyword{defines}} |
49 \newcommand{\NOTESNAME}{\isarkeyword{notes}} |
50 \newcommand{\NOTESNAME}{\isarkeyword{notes}} |
85 \newcommand{\TXT}{\isarkeyword{txt}} |
86 \newcommand{\TXT}{\isarkeyword{txt}} |
86 \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2} |
87 \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2} |
87 \newcommand{\FROM}[1]{\FROMNAME~#1} |
88 \newcommand{\FROM}[1]{\FROMNAME~#1} |
88 \newcommand{\WITH}[1]{\WITHNAME~#1} |
89 \newcommand{\WITH}[1]{\WITHNAME~#1} |
89 \newcommand{\USING}[1]{\USINGNAME~#1} |
90 \newcommand{\USING}[1]{\USINGNAME~#1} |
|
91 \newcommand{\UNFOLDING}[1]{\UNFOLDINGNAME~#1} |
90 \newcommand{\FIXES}[1]{\FIXESNAME~#1} |
92 \newcommand{\FIXES}[1]{\FIXESNAME~#1} |
91 \newcommand{\CONSTRAINS}[1]{\CONSTRAINSNAME~#1} |
93 \newcommand{\CONSTRAINS}[1]{\CONSTRAINSNAME~#1} |
92 \newcommand{\ASSUMES}[2]{\ASSUMESNAME\I@optname{#1}~#2} |
94 \newcommand{\ASSUMES}[2]{\ASSUMESNAME\I@optname{#1}~#2} |
93 \newcommand{\DEFINES}[2]{\DEFINESNAME\I@optname{#1}~#2} |
95 \newcommand{\DEFINES}[2]{\DEFINESNAME\I@optname{#1}~#2} |
94 \newcommand{\NOTES}[2]{\NOTESNAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2} |
96 \newcommand{\NOTES}[2]{\NOTESNAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2} |