equal
deleted
inserted
replaced
2 \usepackage{isabelle,isabellesym} |
2 \usepackage{isabelle,isabellesym} |
3 \usepackage{pdfsetup} |
3 \usepackage{pdfsetup} |
4 |
4 |
5 \urlstyle{rm} |
5 \urlstyle{rm} |
6 \isabellestyle{it} |
6 \isabellestyle{it} |
|
7 |
|
8 \renewcommand{\isasymguillemotright}{\isamath{\mathbin{>\!\!\!>}}} |
7 |
9 |
8 \begin{document} |
10 \begin{document} |
9 |
11 |
10 \title{Examples for program extraction in Higher-Order Logic} |
12 \title{Examples for program extraction in Higher-Order Logic} |
11 \author{Stefan Berghofer} |
13 \author{Stefan Berghofer} |