doc-src/isar.sty
changeset 26769 5b8382d495be
parent 26755 84408d6ff180
child 26783 1651ff6a34b5
equal deleted inserted replaced
26768:844068d16ba0 26769:5b8382d495be
    25 \newcommand{\indexisarattof}[2]{\indexdef{#1}{attribute}{#2}}
    25 \newcommand{\indexisarattof}[2]{\indexdef{#1}{attribute}{#2}}
    26 
    26 
    27 \newcommand{\isasymAND}{\isakeyword{and}}
    27 \newcommand{\isasymAND}{\isakeyword{and}}
    28 \newcommand{\isasymIS}{\isakeyword{is}}
    28 \newcommand{\isasymIS}{\isakeyword{is}}
    29 \newcommand{\isasymWHERE}{\isakeyword{where}}
    29 \newcommand{\isasymWHERE}{\isakeyword{where}}
       
    30 \newcommand{\isasymBEGIN}{\isakeyword{begin}}
       
    31 \newcommand{\isasymIMPORTS}{\isakeyword{imports}}
    30 
    32 
    31 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}}
    33 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}}
    32 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
    34 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
    33 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}
    35 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}
    34 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1}
    36 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1}