1 \documentclass{svjour3}

     2 \usepackage{times}

     3 \usepackage{isabelle}

     4 \usepackage{isabellesym}

     5 \usepackage{amsmath}

     6 \usepackage{amssymb}

     7 \usepackage{pdfsetup}

     8 

     9 

    10 \urlstyle{rm}

    11 \isabellestyle{it}

    12 \renewcommand{\isastyle}{\isastyleminor}

    13 

    14 \begin{document}

    15 

    16 \title{Quotients Revisited}

    17 \author{Cezary Kaliszyk$^*$ and Christian Urban$^*$}

    18 \institute{$^*$ Technical University of Munich, Germany}

    19 \maketitle

    20 

    21 \begin{abstract}

    22 TBD

    23 \end{abstract}

    24 

    25 % generated text of all theories

    26 \input{session}

    27 

    28 % optional bibliography

    29 \bibliographystyle{abbrv}

    30 \bibliography{root}

    31 

    32 \end{document}

    33 

    34 %%% Local Variables:

    35 %%% mode: latex

    36 %%% TeX-master: t

    37 %%% End: