equal
deleted
inserted
replaced
18 \newcommand{\isasymWHERE}{\isakeyword{where}} |
18 \newcommand{\isasymWHERE}{\isakeyword{where}} |
19 \newcommand{\isasymBEGIN}{\isakeyword{begin}} |
19 \newcommand{\isasymBEGIN}{\isakeyword{begin}} |
20 \newcommand{\isasymIMPORTS}{\isakeyword{imports}} |
20 \newcommand{\isasymIMPORTS}{\isakeyword{imports}} |
21 \newcommand{\isasymIN}{\isakeyword{in}} |
21 \newcommand{\isasymIN}{\isakeyword{in}} |
22 \newcommand{\isasymSTRUCTURE}{\isakeyword{structure}} |
22 \newcommand{\isasymSTRUCTURE}{\isakeyword{structure}} |
23 |
|
24 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2} |
|
25 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1} |
|
26 \newcommand{\isarantiq}{antiquotation} |
|
27 \newcommand{\isarmeth}{method} |
|
28 \newcommand{\isaratt}{attribute} |
|