equal
deleted
inserted
replaced
1 \documentclass[11pt,a4paper]{report} |
1 \documentclass[11pt,a4paper]{report} |
|
2 \usepackage[latin1]{inputenc} |
2 \usepackage{amsmath,amsthm} |
3 \usepackage{amsmath,amsthm} |
3 \usepackage{isabelle} |
4 \usepackage{isabelle} |
4 \usepackage{isabellesym} |
5 \usepackage{isabellesym} |
5 \usepackage{charter} |
6 \usepackage{charter} |
6 \usepackage[pdftex]{graphicx} |
7 \usepackage[pdftex]{graphicx} |
89 |
90 |
90 \title{\mbox{}\\[-10ex] |
91 \title{\mbox{}\\[-10ex] |
91 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
92 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
92 The Isabelle Programmer's Cookbook (fragment)} |
93 The Isabelle Programmer's Cookbook (fragment)} |
93 \author{with contributions by:\\[2ex] |
94 \author{with contributions by:\\[2ex] |
94 \begin{tabular}{l} |
95 \begin{tabular}{r@{\hspace{1.8mm}}l} |
95 Alexander Krauss\\ |
96 Stefan & Berghofer\\ |
96 Jeremy Dawson\\ |
97 Sascha & Böhme\\ |
97 Stefan Berghofer |
98 Jeremy & Dawson\\ |
|
99 Alexander & Krauss\\ |
98 \end{tabular}} |
100 \end{tabular}} |
99 \maketitle |
101 \maketitle |
100 |
102 |
101 \tableofcontents |
103 \tableofcontents |
102 |
104 |