document setup;
authorwenzelm
Sun Feb 04 22:34:52 2001 +0100 (2001-02-04)
changeset 11060a58e0bd448df
parent 11059 9ef75bf54a49
child 11061 9b9d48ce3b6c
document setup;
src/HOL/NumberTheory/document/root.tex
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/NumberTheory/document/root.tex	Sun Feb 04 22:34:52 2001 +0100
     1.3 @@ -0,0 +1,22 @@
     1.4 +
     1.5 +\documentclass[11pt,a4paper]{article}
     1.6 +\usepackage{isabelle,isabellesym,pdfsetup}
     1.7 +
     1.8 +\urlstyle{rm}
     1.9 +\isabellestyle{it}
    1.10 +
    1.11 +\begin{document}
    1.12 +
    1.13 +\title{Some results of number theory}
    1.14 +\author{Lawrence C Paulson \\
    1.15 +  Thomas M Rasmussen \\
    1.16 +  Christophe Tabacznyj}
    1.17 +\maketitle
    1.18 +
    1.19 +\tableofcontents
    1.20 +\newpage
    1.21 +
    1.22 +\parindent 0pt\parskip 0.5ex
    1.23 +\input{session}
    1.24 +
    1.25 +\end{document}