--- a/src/Doc/Real_Asymp/document/root.tex Sun Jul 22 14:15:04 2018 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,39 +0,0 @@
-\documentclass[11pt,a4paper]{article}
-\usepackage{amsfonts, amsmath, amssymb}
-\usepackage{railsetup}
-\usepackage{iman}
-\usepackage{extra}
-\usepackage{isar}
-\usepackage{isabelle}
-\usepackage{isabellesym}
-\usepackage{style}
-
-% this should be the last package used
-\usepackage{pdfsetup}
-
-% urls in roman style, theory text in math-similar italics
-\urlstyle{rm}
-\isabellestyle{it}
-
-
-\begin{document}
-
-\title{\texttt{real\_asymp}: Semi-Automatic Real Asymptotics\\ in Isabelle\slash HOL}
-\author{Manuel Eberl}
-\maketitle
-
-\tableofcontents
-\newpage
-\parindent 0pt\parskip 0.5ex
-
-\input{session}
-
-\bibliographystyle{abbrv}
-\bibliography{root}
-
-\end{document}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End: