equal
deleted
inserted
replaced
87 \newcommand{\ALSO}{\isarkeyword{also}} |
87 \newcommand{\ALSO}{\isarkeyword{also}} |
88 \newcommand{\FINALLY}{\isarkeyword{finally}} |
88 \newcommand{\FINALLY}{\isarkeyword{finally}} |
89 \newcommand{\MOREOVER}{\isarkeyword{moreover}} |
89 \newcommand{\MOREOVER}{\isarkeyword{moreover}} |
90 \newcommand{\ULTIMATELY}{\isarkeyword{ultimately}} |
90 \newcommand{\ULTIMATELY}{\isarkeyword{ultimately}} |
91 \newcommand{\OBTAIN}[3]{\OBTAINNAME~#1~\isarkeyword{where}\I@optname{#2}~#3} |
91 \newcommand{\OBTAIN}[3]{\OBTAINNAME~#1~\isarkeyword{where}\I@optname{#2}~#3} |
92 \newcommand{\BG}{\isarkeyword{\{\{}} |
92 \newcommand{\BG}{\isarkeyword{\textbf{\{}}} |
93 \newcommand{\EN}{\isarkeyword{\}\}}} |
93 \newcommand{\EN}{\isarkeyword{\textbf{\}}}} |
94 \newcommand{\NEXT}{\isarkeyword{next}} |
94 \newcommand{\NEXT}{\isarkeyword{next}} |
95 \newcommand{\SORRY}{\isarkeyword{sorry}} |
95 \newcommand{\SORRY}{\isarkeyword{sorry}} |
96 \newcommand{\OOPS}{\isarkeyword{oops}} |
96 \newcommand{\OOPS}{\isarkeyword{oops}} |