equal
deleted
inserted
replaced
|
1 |
|
2 % $Id$ |
1 |
3 |
2 \documentclass[11pt,a4paper]{article} |
4 \documentclass[11pt,a4paper]{article} |
3 \usepackage{graphicx} |
5 \usepackage{graphicx} |
4 \usepackage{isabelle,isabellesym} |
6 \usepackage{isabelle,isabellesym} |
5 \usepackage{amssymb} |
7 \usepackage{amssymb} |
8 %\usepackage{masmath} |
10 %\usepackage{masmath} |
9 |
11 |
10 % this should be the last package used |
12 % this should be the last package used |
11 \usepackage{pdfsetup} |
13 \usepackage{pdfsetup} |
12 |
14 |
13 % proper setup for best-style documents |
|
14 \urlstyle{rm} |
15 \urlstyle{rm} |
15 \isabellestyle{it} |
16 \isabellestyle{it} |
16 |
17 \pagestyle{myheadings} |
17 %\usepackage{substr} |
|
18 |
|
19 %\renewcommand{\isamarkupheader}[1]{% |
|
20 % \IfSubStringInString{Chapter: }{#1}{% |
|
21 % \chapter{\BehindSubString{Chapter: }{#1}}}{% |
|
22 % \section{#1}}} |
|
23 |
|
24 |
18 |
25 \begin{document} |
19 \begin{document} |
26 |
20 |
27 \title{The Isabelle Algebra Library} |
21 \title{The Isabelle/HOL Algebra Library} |
|
22 \author{ |
|
23 Clemens Ballarin \\ |
|
24 Florian Kammu\"uller \\ |
|
25 Lawrence C Paulson \\ |
|
26 } |
28 \maketitle |
27 \maketitle |
29 |
28 |
30 \tableofcontents |
29 \tableofcontents |
31 |
30 |
32 \begin{center} |
31 \begin{center} |
33 \includegraphics[scale=0.5]{session_graph} |
32 \includegraphics[scale=0.5]{session_graph} |
34 \end{center} |
33 \end{center} |
35 |
34 |
36 \clearpage |
35 \clearpage |
37 |
36 |
|
37 \renewcommand{\isamarkupheader}[1]% |
|
38 {\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}} |
|
39 |
38 \parindent 0pt\parskip 0.5ex |
40 \parindent 0pt\parskip 0.5ex |
39 |
|
40 \input{session} |
41 \input{session} |
41 |
42 |
|
43 \pagestyle{headings} |
|
44 \bibliographystyle{abbrv} |
|
45 \bibliography{root} |
|
46 |
42 \end{document} |
47 \end{document} |