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@7138: 
wenzelm@28214: \newcommand{\isatt}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\tt #1}}
wenzelm@48602: \newcommand{\isatool}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\tt isabelle #1}}
wenzelm@28214: 
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@7170: 
wenzelm@55143: \newcommand{\isasymFOR}{\isakeyword{for}}
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@29727: \newcommand{\isasymFIXES}{\isakeyword{fixes}}
wenzelm@29727: \newcommand{\isasymASSUMES}{\isakeyword{assumes}}
wenzelm@29727: \newcommand{\isasymSHOWS}{\isakeyword{shows}}
wenzelm@29727: \newcommand{\isasymOBTAINS}{\isakeyword{obtains}}
wenzelm@29727: 
wenzelm@29727: \newcommand{\isasymASSM}{\isacommand{assm}}