equal
deleted
inserted
replaced
1 %% toc |
|
2 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
|
3 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
|
4 |
|
5 %% references |
|
6 \newcommand{\secref}[1]{\S\ref{#1}} |
|
7 \newcommand{\chref}[1]{chapter~\ref{#1}} |
|
8 \newcommand{\figref}[1]{figure~\ref{#1}} |
|
9 |
|
10 %% math |
|
11 \newcommand{\text}[1]{\mbox{#1}} |
|
12 \newcommand{\isasymvartheta}{\isamath{\theta}} |
|
13 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
|
14 |
|
15 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
|
16 |
|
17 \pagestyle{headings} |
|
18 \sloppy |
|
19 \binperiod |
|
20 \underscoreon |
|
21 |
|
22 \renewcommand{\isadigit}[1]{\isamath{#1}} |
|
23 |
|
24 \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup} |
|
25 |
|
26 \isafoldtag{FIXME} |
|
27 \isakeeptag{mlref} |
|
28 \renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{\ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small} |
|
29 \renewcommand{\endisatagmlref}{\endgroup} |
|
30 |
|
31 \newcommand{\isasymGUESS}{\isakeyword{guess}} |
|
32 \newcommand{\isasymOBTAIN}{\isakeyword{obtain}} |
|
33 \newcommand{\isasymTHEORY}{\isakeyword{theory}} |
|
34 \newcommand{\isasymUSES}{\isakeyword{uses}} |
|
35 \newcommand{\isasymEND}{\isakeyword{end}} |
|
36 \newcommand{\isasymCONSTS}{\isakeyword{consts}} |
|
37 \newcommand{\isasymDEFS}{\isakeyword{defs}} |
|
38 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}} |
|
39 \newcommand{\isasymDEFINITION}{\isakeyword{definition}} |
|
40 |
|
41 \isabellestyle{it} |
|
42 |
|
43 %%% Local Variables: |
|
44 %%% mode: latex |
|
45 %%% TeX-master: "implementation" |
|
46 %%% End: |
|