equal
deleted
inserted
replaced
31 % indexing |
31 % indexing |
32 \usepackage{ifthen} |
32 \usepackage{ifthen} |
33 \newcommand{\indexdef}[3]% |
33 \newcommand{\indexdef}[3]% |
34 {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}} |
34 {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}} |
35 |
35 |
36 \renewcommand{\isamarkupheader}[1]{{\rmfamily\subsection{#1}}} |
|
37 \renewcommand{\isamarkupsection}[1]{{\rmfamily\subsection{#1}}} |
36 \renewcommand{\isamarkupsection}[1]{{\rmfamily\subsection{#1}}} |
38 \renewcommand{\isamarkupsubsection}[1]{{\rmfamily\subsubsection{#1}}} |
37 \renewcommand{\isamarkupsubsection}[1]{{\rmfamily\subsubsection{#1}}} |
39 % isabelle in-text command font |
38 % isabelle in-text command font |
40 \newcommand{\isacom}[1]{\isa{\isacommand{#1}}} |
39 \newcommand{\isacom}[1]{\isa{\isacommand{#1}}} |
41 |
40 |