equal
deleted
inserted
replaced
|
1 |
|
2 \documentclass[11pt,a4paper]{article} |
|
3 \usepackage{isabelle,isabellesym,pdfsetup} |
|
4 |
|
5 \newcommand{\isasymEX}{\isamath{\mathrm{EX}}} |
|
6 \newcommand{\isasymEF}{\isamath{\mathrm{EF}}} |
|
7 \newcommand{\isasymEG}{\isamath{\mathrm{EG}}} |
|
8 \newcommand{\isasymAX}{\isamath{\mathrm{AX}}} |
|
9 \newcommand{\isasymAF}{\isamath{\mathrm{AF}}} |
|
10 \newcommand{\isasymAG}{\isamath{\mathrm{AG}}} |
|
11 |
|
12 %for best-style documents ... |
|
13 \urlstyle{rm} |
|
14 \isabellestyle{it} |
|
15 |
|
16 \begin{document} |
|
17 |
|
18 \title{A short case study on CTL} |
|
19 \author{Gertrud Bauer} |
|
20 \maketitle |
|
21 \tableofcontents |
|
22 \bigskip |
|
23 |
|
24 \parindent 0pt\parskip 0.5ex |
|
25 \newcommand{\tweakskip}{\vspace{-\smallskipamount}\vspace{-\parskip}} |
|
26 |
|
27 \input{session} |
|
28 |
|
29 %\bibliographystyle{plain} |
|
30 %\bibliography{root} |
|
31 |
|
32 \end{document} |