| changeset 71929 | 73ff22f99d38 |
| parent 71925 | bf085daea304 |
| child 72320 | c695d0b89586 |
| 71928:ae643fb4ca30 | 71929:73ff22f99d38 |
|---|---|
13 \begin{document} |
13 \begin{document} |
14 |
14 |
15 \title{Notable Examples in Isabelle/HOL} |
15 \title{Notable Examples in Isabelle/HOL} |
16 \maketitle |
16 \maketitle |
17 |
17 |
18 \tableofcontents |
|
19 |
|
18 \parindent 0pt \parskip 0.5ex |
20 \parindent 0pt \parskip 0.5ex |
19 |
21 |
20 \input{session} |
22 \input{session} |
21 |
23 |
22 \bibliographystyle{abbrv} |
24 \bibliographystyle{abbrv} |