wenzelm@7050: 
wenzelm@7050: %% $Id$
wenzelm@7138: %%
wenzelm@7138: %% Isar language elements
wenzelm@7138: %%
wenzelm@7050: 
wenzelm@7050: \usepackage{ifthen}
wenzelm@7050: 
wenzelm@26745: \newcommand{\indexdef}[3]%
wenzelm@26745: {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}}
wenzelm@26745: \newcommand{\indexref}[3]{\ifthenelse{\equal{}{#1}}{\index{#3 (#2)}}{\index{#3 (#1\ #2)}}}
wenzelm@26745: 
wenzelm@26745: \newcommand{\indexoutertoken}[1]{\indexdef{}{syntax}{#1}}
wenzelm@26745: \newcommand{\indexouternonterm}[1]{\indexdef{}{syntax}{#1}}
wenzelm@26745: \newcommand{\indexisarelem}[1]{\indexdef{}{element}{#1}}
wenzelm@26745: 
wenzelm@26755: \newcommand{\isasymAND}{\isakeyword{and}}
wenzelm@26755: \newcommand{\isasymIS}{\isakeyword{is}}
wenzelm@26755: \newcommand{\isasymWHERE}{\isakeyword{where}}
wenzelm@26769: \newcommand{\isasymBEGIN}{\isakeyword{begin}}
wenzelm@26769: \newcommand{\isasymIMPORTS}{\isakeyword{imports}}
wenzelm@26783: \newcommand{\isasymIN}{\isakeyword{in}}
wenzelm@26783: \newcommand{\isasymSTRUCTURE}{\isakeyword{structure}}
wenzelm@26755: 
wenzelm@7138: \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}
wenzelm@7138: \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1}
wenzelm@10335: \newcommand{\isarantiq}{antiquotation}
wenzelm@7170: \newcommand{\isarmeth}{method}
wenzelm@7170: \newcommand{\isaratt}{attribute}