equal
deleted
inserted
replaced
15 \newcommand{\isasymIS}{\isakeyword{is}} |
15 \newcommand{\isasymIS}{\isakeyword{is}} |
16 \newcommand{\isasymWHERE}{\isakeyword{where}} |
16 \newcommand{\isasymWHERE}{\isakeyword{where}} |
17 \newcommand{\isasymBEGIN}{\isakeyword{begin}} |
17 \newcommand{\isasymBEGIN}{\isakeyword{begin}} |
18 \newcommand{\isasymIMPORTS}{\isakeyword{imports}} |
18 \newcommand{\isasymIMPORTS}{\isakeyword{imports}} |
19 \newcommand{\isasymIN}{\isakeyword{in}} |
19 \newcommand{\isasymIN}{\isakeyword{in}} |
20 \newcommand{\isasymSTRUCTURE}{\isakeyword{structure}} |
|
21 \newcommand{\isasymFIXES}{\isakeyword{fixes}} |
20 \newcommand{\isasymFIXES}{\isakeyword{fixes}} |
22 \newcommand{\isasymASSUMES}{\isakeyword{assumes}} |
21 \newcommand{\isasymASSUMES}{\isakeyword{assumes}} |
23 \newcommand{\isasymSHOWS}{\isakeyword{shows}} |
22 \newcommand{\isasymSHOWS}{\isakeyword{shows}} |
24 \newcommand{\isasymOBTAINS}{\isakeyword{obtains}} |
23 \newcommand{\isasymOBTAINS}{\isakeyword{obtains}} |
25 |
24 |