wenzelm@26738: %% toc
wenzelm@26738: \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
wenzelm@26738: \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
wenzelm@26738: 
wenzelm@26865: \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
wenzelm@26865: 
wenzelm@26738: %% references
wenzelm@26738: \newcommand{\secref}[1]{\S\ref{#1}}
wenzelm@26738: \newcommand{\chref}[1]{chapter~\ref{#1}}
wenzelm@26759: \newcommand{\Chref}[1]{Chapter~\ref{#1}}
wenzelm@26759: \newcommand{\appref}[1]{appendix~\ref{#1}}
wenzelm@26759: \newcommand{\Appref}[1]{Appendix~\ref{#1}}
wenzelm@26738: \newcommand{\figref}[1]{figure~\ref{#1}}
wenzelm@26759: \newcommand{\Figref}[1]{Figure~\ref{#1}}
wenzelm@26738: 
wenzelm@28760: %% ML
wenzelm@28763: \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup}
wenzelm@28758: 
wenzelm@30051: %% Isar
wenzelm@30051: \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}}
wenzelm@30059: \isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}}
wenzelm@30051: 
wenzelm@26859: %% math
wenzelm@30051: \newcommand{\isasymstrut}{\isamath{\mathstrut}}
wenzelm@30051: \newcommand{\isasymvartheta}{\isamath{\,\theta}}
wenzelm@26859: \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
wenzelm@26859: \renewcommand{\isadigit}[1]{\isamath{#1}}
wenzelm@30051: \newcommand{\text}[1]{\mbox{#1}}
wenzelm@26738: 
wenzelm@26865: %% global style options
wenzelm@26738: \pagestyle{headings}
wenzelm@26738: \sloppy
wenzelm@26738: 
wenzelm@26738: \isabellestyle{it}
wenzelm@26859: \underscoreon
wenzelm@26775: \renewcommand{\isacharunderscore}{\_}
wenzelm@26775: \renewcommand{\isacharunderscorekeyword}{\_}
wenzelm@26778: \newcommand{\isasymdash}{\mbox{-}}