--- a/src/HOL/NSA/document/root.tex Mon Feb 29 22:32:04 2016 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-\documentclass[11pt,a4paper]{article}
-\usepackage{graphicx,isabelle,isabellesym,latexsym,textcomp}
-\usepackage{amsmath}
-\usepackage{pdfsetup}
-
-\urlstyle{rm}
-\isabellestyle{it}
-\pagestyle{myheadings}
-
-\begin{document}
-
-\title{Isabelle/HOL-NSA --- Non-Standard Analysis}
-\maketitle
-
-\tableofcontents
-
-\begin{center}
- \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
-\end{center}
-
-\newpage
-
-\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
-
-\parindent 0pt\parskip 0.5ex
-\input{session}
-
-\end{document}