equal
deleted
inserted
replaced
5 \newif\ifsem |
5 \newif\ifsem |
6 |
6 |
7 \begin{document} |
7 \begin{document} |
8 |
8 |
9 \title{Programming and Proving in Isabelle/HOL} |
9 \title{Programming and Proving in Isabelle/HOL} |
10 \subtitle{\includegraphics[scale=.7]{isabelle_hol}} |
10 \subtitle{\includegraphics[scale=.7]{isabelle_logo}} |
11 \author{Tobias Nipkow} |
11 \author{Tobias Nipkow} |
12 \maketitle |
12 \maketitle |
13 |
13 |
14 \frontmatter%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
14 \frontmatter%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
15 |
15 |