equal
deleted
inserted
replaced
12 \newcommand{\appref}[1]{appendix~\ref{#1}} |
12 \newcommand{\appref}[1]{appendix~\ref{#1}} |
13 \newcommand{\Appref}[1]{Appendix~\ref{#1}} |
13 \newcommand{\Appref}[1]{Appendix~\ref{#1}} |
14 \newcommand{\figref}[1]{figure~\ref{#1}} |
14 \newcommand{\figref}[1]{figure~\ref{#1}} |
15 \newcommand{\Figref}[1]{Figure~\ref{#1}} |
15 \newcommand{\Figref}[1]{Figure~\ref{#1}} |
16 |
16 |
17 %% index |
17 %% math |
18 %FIXME |
18 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
|
19 \renewcommand{\isadigit}[1]{\isamath{#1}} |
19 |
20 |
20 %% math |
|
21 \newcommand{\text}[1]{\mbox{#1}} |
|
22 \newcommand{\isasymvartheta}{\isamath{\theta}} |
|
23 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
|
24 |
21 |
25 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
22 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
26 |
23 |
27 \pagestyle{headings} |
24 \pagestyle{headings} |
28 \sloppy |
25 \sloppy |
29 \binperiod |
|
30 \underscoreon |
|
31 |
26 |
32 \renewcommand{\isadigit}[1]{\isamath{#1}} |
|
33 |
27 |
34 \newcommand{\minorcmd}[1]{{\sf #1}} |
28 \newcommand{\minorcmd}[1]{{\sf #1}} |
35 |
29 |
36 \newcommand{\isasymGUESS}{\isakeyword{guess}} |
30 \newcommand{\isasymGUESS}{\isakeyword{guess}} |
37 \newcommand{\isasymOBTAIN}{\isakeyword{obtain}} |
31 \newcommand{\isasymOBTAIN}{\isakeyword{obtain}} |
41 \newcommand{\isasymCONSTS}{\isakeyword{consts}} |
35 \newcommand{\isasymCONSTS}{\isakeyword{consts}} |
42 \newcommand{\isasymDEFS}{\isakeyword{defs}} |
36 \newcommand{\isasymDEFS}{\isakeyword{defs}} |
43 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}} |
37 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}} |
44 \newcommand{\isasymDEFINITION}{\isakeyword{definition}} |
38 \newcommand{\isasymDEFINITION}{\isakeyword{definition}} |
45 |
39 |
|
40 |
46 \isabellestyle{it} |
41 \isabellestyle{it} |
|
42 \underscoreon |
47 \renewcommand{\isacharunderscore}{\_} |
43 \renewcommand{\isacharunderscore}{\_} |
48 \renewcommand{\isacharunderscorekeyword}{\_} |
44 \renewcommand{\isacharunderscorekeyword}{\_} |
49 \newcommand{\isasymdash}{\mbox{-}} |
45 \newcommand{\isasymdash}{\mbox{-}} |
50 |
|
51 %%% Local Variables: |
|
52 %%% mode: latex |
|
53 %%% TeX-master: "implementation" |
|
54 %%% End: |
|