equal
deleted
inserted
replaced
22 \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual} |
22 \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual} |
23 \author{\emph{Makarius Wenzel} \\[3ex] |
23 \author{\emph{Makarius Wenzel} \\[3ex] |
24 With Contributions by |
24 With Contributions by |
25 Clemens Ballarin, |
25 Clemens Ballarin, |
26 Stefan Berghofer, \\ |
26 Stefan Berghofer, \\ |
|
27 Timothy Bourke |
27 Lucas Dixon, |
28 Lucas Dixon, |
28 Florian Haftmann, |
29 Florian Haftmann, \\ |
29 Gerwin Klein, \\ |
30 Gerwin Klein, |
30 Alexander Krauss, |
31 Alexander Krauss, |
31 Tobias Nipkow, |
32 Tobias Nipkow, \\ |
32 David von Oheimb, \\ |
33 David von Oheimb, |
33 Larry Paulson, |
34 Larry Paulson, |
34 and Sebastian Skalberg |
35 and Sebastian Skalberg |
35 } |
36 } |
36 |
37 |
37 \makeindex |
38 \makeindex |