equal
deleted
inserted
replaced
3 \usepackage{graphicx,../iman,../extra,../isar} |
3 \usepackage{graphicx,../iman,../extra,../isar} |
4 \usepackage{generated/isabelle,generated/isabellesym} |
4 \usepackage{generated/isabelle,generated/isabellesym} |
5 \usepackage{../pdfsetup} % last one! |
5 \usepackage{../pdfsetup} % last one! |
6 |
6 |
7 \isabellestyle{it} |
7 \isabellestyle{it} |
8 \newcommand{\isasyminv}{\emph{${}^{-1}$}} |
8 \newcommand{\isasyminv}{\isamath{{}^{-1}} |
9 \newcommand{\isasymunit}{\emph{$1$}} |
9 \newcommand{\isasymunit}{\isamath{1}} |
10 \newcommand{\isasymzero}{\emph{$0$}} |
10 \newcommand{\isasymzero}{\isamath{0}} |
11 |
11 |
12 \newcommand{\secref}[1]{\S\ref{#1}} |
12 \newcommand{\secref}[1]{\S\ref{#1}} |
13 \newcommand{\figref}[1]{figure~\ref{#1}} |
13 \newcommand{\figref}[1]{figure~\ref{#1}} |
14 |
14 |
15 \hyphenation{Isabelle} |
15 \hyphenation{Isabelle} |