equal
deleted
inserted
replaced
19 |
19 |
20 \tableofcontents |
20 \tableofcontents |
21 \newpage |
21 \newpage |
22 |
22 |
23 \renewcommand{\isamarkupheader}[1]% |
23 \renewcommand{\isamarkupheader}[1]% |
24 {\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}} |
24 {\ifthenelse{\equal{#1}{}}{\section{\isabellecontext}}{\section{\isabellecontext: #1}}% |
|
25 \markright{THEORY~``\isabellecontext''}} |
25 \renewcommand{\isasymguillemotright}{$\gg$} |
26 \renewcommand{\isasymguillemotright}{$\gg$} |
26 |
27 |
27 \parindent 0pt \parskip 0.5ex |
28 \parindent 0pt \parskip 0.5ex |
28 \input{session} |
29 \input{session} |
29 |
30 |