|
1 %% toc |
|
2 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
|
3 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
|
4 |
|
5 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
|
6 |
|
7 %% references |
|
8 \newcommand{\secref}[1]{\S\ref{#1}} |
|
9 \newcommand{\chref}[1]{chapter~\ref{#1}} |
|
10 \newcommand{\Chref}[1]{Chapter~\ref{#1}} |
|
11 \newcommand{\appref}[1]{appendix~\ref{#1}} |
|
12 \newcommand{\Appref}[1]{Appendix~\ref{#1}} |
|
13 \newcommand{\figref}[1]{figure~\ref{#1}} |
|
14 \newcommand{\Figref}[1]{Figure~\ref{#1}} |
|
15 |
|
16 %% Isar |
|
17 \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}} |
|
18 \isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}} |
|
19 \newcommand{\isadigitreset}{\def\isadigit##1{##1}} |
|
20 \renewcommand{\isacommand}[1]{\isakeyword{\isadigitreset#1}} |
|
21 |
|
22 %% ML |
|
23 \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup} |
|
24 |
|
25 \renewcommand{\isatagML}{\begingroup\isabellestyle{default}\isastyle\isadigitreset} |
|
26 \renewcommand{\endisatagML}{\endgroup} |
|
27 |
|
28 %% math |
|
29 \newcommand{\isasymstrut}{\isamath{\mathstrut}} |
|
30 \newcommand{\isasymvartheta}{\isamath{\,\theta}} |
|
31 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
|
32 \renewcommand{\isadigit}[1]{\isamath{#1}} |
|
33 \newcommand{\text}[1]{\mbox{#1}} |
|
34 |
|
35 %% global style options |
|
36 \pagestyle{headings} |
|
37 \sloppy |
|
38 |
|
39 \parindent 0pt\parskip 0.5ex |
|
40 |
|
41 \isabellestyle{literal} |
|
42 |
|
43 \newcommand{\isasymdash}{\isatext{\mbox{-}}} |
|
44 |
|
45 \railtermfont{\isabellestyle{tt}} |
|
46 \railnontermfont{\isabellestyle{literal}} |
|
47 \railnamefont{\isabellestyle{literal}} |