1\documentclass[11pt,a4paper]{article}
2\usepackage{amsfonts, amsmath, amssymb}
3\usepackage{railsetup}
4\usepackage{iman}
5\usepackage{extra}
6\usepackage{isar}
7\usepackage{isabelle}
8\usepackage{isabellesym}
9\usepackage{style}
10
11% this should be the last package used
12\usepackage{pdfsetup}
13
14% urls in roman style, theory text in math-similar italics
15\urlstyle{rm}
16\isabellestyle{it}
17
18
19\begin{document}
20
21\title{\texttt{real\_asymp}: Semi-Automatic Real Asymptotics\\ in Isabelle\slash HOL}
22\author{Manuel Eberl}
23\maketitle
24
25\tableofcontents
26\newpage
27\parindent 0pt\parskip 0.5ex
28
29\input{session}
30
31\bibliographystyle{abbrv}
32\bibliography{root}
33
34\end{document}
35
36%%% Local Variables:
37%%% mode: latex
38%%% TeX-master: t
39%%% End:
40