equal
deleted
inserted
replaced
15 \hyphenation{Isar} |
15 \hyphenation{Isar} |
16 |
16 |
17 \isadroptag{theory} |
17 \isadroptag{theory} |
18 \title{\includegraphics[scale=0.5]{isabelle_isar} |
18 \title{\includegraphics[scale=0.5]{isabelle_isar} |
19 \\[4ex] The Isabelle/Isar Implementation} |
19 \\[4ex] The Isabelle/Isar Implementation} |
20 \author{\emph{Makarius Wenzel}} |
20 \author{\emph{Makarius Wenzel} \\[3ex] |
|
21 With Contributions by |
|
22 Florian Haftmann |
|
23 and Larry Paulson |
|
24 } |
21 |
25 |
22 %FIXME |
26 %FIXME |
23 %\makeglossary |
27 %\makeglossary |
24 |
28 |
25 \makeindex |
29 \makeindex |