|
1 |
|
2 %% $Id$ |
|
3 |
|
4 %% toc |
|
5 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
|
6 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
|
7 |
|
8 %% references |
|
9 \newcommand{\secref}[1]{\S\ref{#1}} |
|
10 \newcommand{\chref}[1]{chapter~\ref{#1}} |
|
11 \newcommand{\figref}[1]{figure~\ref{#1}} |
|
12 |
|
13 %% glossary |
|
14 \renewcommand{\glossary}[2]{\nomenclature{\bf #1}{#2}} |
|
15 \newcommand{\seeglossary}[1]{\emph{#1}} |
|
16 \newcommand{\glossaryname}{Glossary} |
|
17 \renewcommand{\nomname}{\glossaryname} |
|
18 \renewcommand{\pagedeclaration}[1]{\nobreak\quad\dotfill~page~\bold{#1}} |
|
19 |
|
20 %% index |
|
21 \newcommand{\indexml}[1]{\index{\emph{#1}|bold}} |
|
22 \newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}} |
|
23 \newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}} |
|
24 \newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}} |
|
25 |
|
26 %% math |
|
27 \newcommand{\text}[1]{\mbox{#1}} |
|
28 \newcommand{\isasymvartheta}{\isamath{\theta}} |
|
29 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
|
30 |
|
31 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
|
32 |
|
33 \pagestyle{headings} |
|
34 \sloppy |
|
35 \binperiod |
|
36 \underscoreon |
|
37 |
|
38 \renewcommand{\isadigit}[1]{\isamath{#1}} |
|
39 |
|
40 \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup} |
|
41 |
|
42 \isafoldtag{FIXME} |
|
43 \isakeeptag{mlref} |
|
44 \renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{\ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small} |
|
45 \renewcommand{\endisatagmlref}{\endgroup} |
|
46 |
|
47 \newcommand{\isasymGUESS}{\isakeyword{guess}} |
|
48 \newcommand{\isasymOBTAIN}{\isakeyword{obtain}} |
|
49 \newcommand{\isasymTHEORY}{\isakeyword{theory}} |
|
50 \newcommand{\isasymIMPORTS}{\isakeyword{imports}} |
|
51 \newcommand{\isasymUSES}{\isakeyword{uses}} |
|
52 \newcommand{\isasymBEGIN}{\isakeyword{begin}} |
|
53 \newcommand{\isasymEND}{\isakeyword{end}} |
|
54 \newcommand{\isasymCONSTS}{\isakeyword{consts}} |
|
55 \newcommand{\isasymDEFS}{\isakeyword{defs}} |
|
56 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}} |
|
57 \newcommand{\isasymDEFINITION}{\isakeyword{definition}} |
|
58 |
|
59 \isabellestyle{it} |
|
60 |
|
61 %%% Local Variables: |
|
62 %%% mode: latex |
|
63 %%% TeX-master: "implementation" |
|
64 %%% End: |