equal
deleted
inserted
replaced
14 \hyphenation{Isabelle} |
14 \hyphenation{Isabelle} |
15 |
15 |
16 \begin{document} |
16 \begin{document} |
17 |
17 |
18 \title{Miscellaneous Isabelle/Isar examples for Higher-Order Logic} |
18 \title{Miscellaneous Isabelle/Isar examples for Higher-Order Logic} |
19 \author{Markus Wenzel \\[2ex] |
19 \author{Makarius Wenzel \\[2ex] |
20 With contributions by Gertrud Bauer and Tobias Nipkow} |
20 With contributions by Gertrud Bauer and Tobias Nipkow} |
21 \maketitle |
21 \maketitle |
22 |
22 |
23 \begin{abstract} |
23 \begin{abstract} |
24 Isar offers a high-level proof (and theory) language for Isabelle. |
24 Isar offers a high-level proof (and theory) language for Isabelle. |