equal
deleted
inserted
replaced
14 |
14 |
15 \hyphenation{Isabelle} |
15 \hyphenation{Isabelle} |
16 \hyphenation{Eisbach} |
16 \hyphenation{Eisbach} |
17 |
17 |
18 \isadroptag{theory} |
18 \isadroptag{theory} |
19 \title{\includegraphics[scale=0.5]{isabelle_eisbach} |
19 \title{\includegraphics[scale=0.5]{isabelle_logo} |
20 \\[4ex] The Eisbach User Manual} |
20 \\[4ex] The Eisbach User Manual} |
21 \author{Daniel Matichuk \\ |
21 \author{Daniel Matichuk \\ |
22 Makarius Wenzel \\ |
22 Makarius Wenzel \\ |
23 Toby Murray |
23 Toby Murray |
24 } |
24 } |