equal
deleted
inserted
replaced
141 |
141 |
142 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
142 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
143 \begin{document} |
143 \begin{document} |
144 |
144 |
145 \title{\mbox{}\\[-10ex] |
145 \title{\mbox{}\\[-10ex] |
146 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
146 \includegraphics[scale=0.5]{tutorial-logo.jpg}\\[3ex] |
147 The Isabelle Programming Tutorial (draft)} |
147 The Isabelle Programming Tutorial (draft)} |
148 |
148 |
149 \author{by Christian Urban with contributions from:\\[2ex] |
149 \author{by Christian Urban with contributions from:\\[2ex] |
150 \begin{tabular}{r@{\hspace{1.8mm}}l} |
150 \begin{tabular}{r@{\hspace{1.8mm}}l} |
151 Stefan & Berghofer\\ |
151 Stefan & Berghofer\\ |