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 Timothy Bourke, |
28 Lucas Dixon, |
28 Lucas Dixon, |
29 Florian Haftmann, \\ |
29 Florian Haftmann, \\ |
30 Gerwin Klein, |
30 Gerwin Klein, |
31 Alexander Krauss, |
31 Alexander Krauss, |
32 Tobias Nipkow, \\ |
32 Tobias Nipkow, \\ |