equal
deleted
inserted
replaced
1 |
1 |
2 \input{style} |
2 \input{style} |
3 |
3 |
4 \hyphenation{Isabelle} |
4 \hyphenation{Isabelle} |
5 |
|
6 |
5 |
7 \begin{document} |
6 \begin{document} |
8 |
7 |
9 \title{Miscellaneous Isabelle/Isar examples for Higher-Order Logic} |
8 \title{Miscellaneous Isabelle/Isar examples for Higher-Order Logic} |
10 \author{Markus Wenzel} |
9 \author{Markus Wenzel} |
16 simple demonstrations of certain language features to more advanced |
15 simple demonstrations of certain language features to more advanced |
17 applications. |
16 applications. |
18 \end{abstract} |
17 \end{abstract} |
19 |
18 |
20 \tableofcontents |
19 \tableofcontents |
21 |
|
22 \input{session} |
20 \input{session} |
23 |
21 |
24 \end{document} |
22 \end{document} |