changeset 52782 | b11d73dbfb76 |
parent 51444 | 027cdce376d5 |
52758:7ffcd6f2890d | 52782:b11d73dbfb76 |
---|---|
1 \documentclass[envcountsame,envcountchap]{svmono} |
1 \documentclass[envcountsame,envcountchap]{svmono} |
2 |
2 |
3 \input{prelude} |
3 \input{prelude} |
4 |
4 |
5 \excludecomment{sem} |
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_hol}} |