equal
deleted
inserted
replaced
47 \isafoldtag{FIXME} |
47 \isafoldtag{FIXME} |
48 \isakeeptag{mlref} |
48 \isakeeptag{mlref} |
49 \renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{\ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small} |
49 \renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{\ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small} |
50 \renewcommand{\endisatagmlref}{\endgroup} |
50 \renewcommand{\endisatagmlref}{\endgroup} |
51 |
51 |
|
52 \newcommand{\isasymGUESS}{\isakeyword{guess}} |
|
53 \newcommand{\isasymOBTAIN}{\isakeyword{obtain}} |
52 \newcommand{\isasymTHEORY}{\isakeyword{theory}} |
54 \newcommand{\isasymTHEORY}{\isakeyword{theory}} |
53 \newcommand{\isasymIMPORTS}{\isakeyword{imports}} |
55 \newcommand{\isasymIMPORTS}{\isakeyword{imports}} |
54 \newcommand{\isasymUSES}{\isakeyword{uses}} |
56 \newcommand{\isasymUSES}{\isakeyword{uses}} |
55 \newcommand{\isasymBEGIN}{\isakeyword{begin}} |
57 \newcommand{\isasymBEGIN}{\isakeyword{begin}} |
56 \newcommand{\isasymEND}{\isakeyword{end}} |
58 \newcommand{\isasymEND}{\isakeyword{end}} |