equal
deleted
inserted
replaced
2 %% $Id$ |
2 %% $Id$ |
3 |
3 |
4 %% toc |
4 %% toc |
5 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
5 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
6 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
6 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
|
7 |
|
8 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
7 |
9 |
8 %% references |
10 %% references |
9 \newcommand{\secref}[1]{\S\ref{#1}} |
11 \newcommand{\secref}[1]{\S\ref{#1}} |
10 \newcommand{\chref}[1]{chapter~\ref{#1}} |
12 \newcommand{\chref}[1]{chapter~\ref{#1}} |
11 \newcommand{\Chref}[1]{Chapter~\ref{#1}} |
13 \newcommand{\Chref}[1]{Chapter~\ref{#1}} |
17 %% math |
19 %% math |
18 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
20 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
19 \renewcommand{\isadigit}[1]{\isamath{#1}} |
21 \renewcommand{\isadigit}[1]{\isamath{#1}} |
20 |
22 |
21 |
23 |
22 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
24 %% global style options |
23 |
|
24 \pagestyle{headings} |
25 \pagestyle{headings} |
25 \sloppy |
26 \sloppy |
26 |
|
27 |
|
28 \newcommand{\minorcmd}[1]{{\sf #1}} |
|
29 |
|
30 \newcommand{\isasymGUESS}{\isakeyword{guess}} |
|
31 \newcommand{\isasymOBTAIN}{\isakeyword{obtain}} |
|
32 \newcommand{\isasymTHEORY}{\isakeyword{theory}} |
|
33 \newcommand{\isasymUSES}{\isakeyword{uses}} |
|
34 \newcommand{\isasymEND}{\isakeyword{end}} |
|
35 \newcommand{\isasymCONSTS}{\isakeyword{consts}} |
|
36 \newcommand{\isasymDEFS}{\isakeyword{defs}} |
|
37 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}} |
|
38 \newcommand{\isasymDEFINITION}{\isakeyword{definition}} |
|
39 |
|
40 |
27 |
41 \isabellestyle{it} |
28 \isabellestyle{it} |
42 \underscoreon |
29 \underscoreon |
43 \renewcommand{\isacharunderscore}{\_} |
30 \renewcommand{\isacharunderscore}{\_} |
44 \renewcommand{\isacharunderscorekeyword}{\_} |
31 \renewcommand{\isacharunderscorekeyword}{\_} |