--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Quotient-Paper/document/root.tex	Thu Apr 29 09:13:18 2010 +0200
@@ -0,0 +1,37 @@
+\documentclass{svjour3}
+\usepackage{times}
+\usepackage{isabelle}
+\usepackage{isabellesym}
+\usepackage{amsmath}
+\usepackage{amssymb}
+\usepackage{pdfsetup}
+
+
+\urlstyle{rm}
+\isabellestyle{it}
+\renewcommand{\isastyle}{\isastyleminor}
+
+\begin{document}
+
+\title{Quotients Revisited}
+\author{Cezary Kaliszyk$^*$ and Christian Urban$^*$}
+\institute{$^*$ Technical University of Munich, Germany}
+\maketitle
+
+\begin{abstract}
+TBD
+\end{abstract}
+
+% generated text of all theories
+\input{session}
+
+% optional bibliography
+\bibliographystyle{abbrv}
+\bibliography{root}
+
+\end{document}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End: