equal
deleted
inserted
replaced
17 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
17 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
18 |
18 |
19 \pagestyle{headings} |
19 \pagestyle{headings} |
20 \sloppy |
20 \sloppy |
21 \binperiod |
21 \binperiod |
22 \underscoreon |
|
23 |
22 |
24 \renewcommand{\isadigit}[1]{\isamath{#1}} |
23 \renewcommand{\isadigit}[1]{\isamath{#1}} |
25 |
24 |
26 \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup} |
25 \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup} |
27 |
26 |
47 \newcommand{\isasymDEFS}{\isakeyword{defs}} |
46 \newcommand{\isasymDEFS}{\isakeyword{defs}} |
48 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}} |
47 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}} |
49 \newcommand{\isasymDEFINITION}{\isakeyword{definition}} |
48 \newcommand{\isasymDEFINITION}{\isakeyword{definition}} |
50 |
49 |
51 \isabellestyle{it} |
50 \isabellestyle{it} |
52 |
51 \underscoreon |
53 |
52 \renewcommand{\isacharunderscore}{\_} |
54 %%% Local Variables: |
53 \renewcommand{\isacharunderscorekeyword}{\_} |
55 %%% mode: latex |
54 \newcommand{\isasymdash}{\mbox{-}} |
56 %%% TeX-master: "implementation" |
|
57 %%% End: |
|