equal
deleted
inserted
replaced
121 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
121 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
122 \begin{document} |
122 \begin{document} |
123 |
123 |
124 \title{\mbox{}\\[-10ex] |
124 \title{\mbox{}\\[-10ex] |
125 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
125 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
126 The Isabelle Programming Tutorial (fragment)} |
126 The Isabelle Programming Tutorial (draft)} |
127 |
127 |
128 \author{with contributions by:\\[2ex] |
128 \author{by Christian Urban with contributions from:\\[2ex] |
129 \begin{tabular}{r@{\hspace{1.8mm}}l} |
129 \begin{tabular}{r@{\hspace{1.8mm}}l} |
130 Stefan & Berghofer\\ |
130 Stefan & Berghofer\\ |
131 Sascha & Böhme\\ |
131 Sascha & Böhme\\ |
132 Jeremy & Dawson\\ |
132 Jeremy & Dawson\\ |
133 Alexander & Krauss\\ |
133 Alexander & Krauss\\ |