equal
deleted
inserted
replaced
1 |
1 |
2 \documentclass[11pt,a4paper]{article} |
2 \documentclass[11pt,a4paper]{article} |
|
3 \usepackage{graphicx} |
3 \usepackage{isabelle,isabellesym} |
4 \usepackage{isabelle,isabellesym} |
4 |
5 |
5 %\usepackage{substr} |
6 %\usepackage{substr} |
6 |
7 |
7 %\renewcommand{\isamarkupheader}[1]{% |
8 %\renewcommand{\isamarkupheader}[1]{% |
42 \title{The Isabelle Algebra Library} |
43 \title{The Isabelle Algebra Library} |
43 \maketitle |
44 \maketitle |
44 |
45 |
45 \tableofcontents |
46 \tableofcontents |
46 |
47 |
|
48 \begin{center} |
|
49 \includegraphics[scale=0.5]{session_graph} |
|
50 \end{center} |
|
51 |
|
52 \clearpage |
|
53 |
47 \parindent 0pt\parskip 0.5ex |
54 \parindent 0pt\parskip 0.5ex |
48 |
55 |
49 % include generated text of all theories |
56 % include generated text of all theories |
50 \input{session} |
57 \input{session} |
51 |
58 |