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