document root;
authorwenzelm
Mon Dec 10 13:30:14 2001 +0100 (2001-12-10)
changeset 12435a42be4b09cc3
parent 12434 ff2efde4574d
child 12436 a2df07fefed7
document root;
src/FOL/ex/document/root.tex
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/FOL/ex/document/root.tex	Mon Dec 10 13:30:14 2001 +0100
     1.3 @@ -0,0 +1,19 @@
     1.4 +
     1.5 +\documentclass[11pt,a4paper]{article}
     1.6 +\usepackage{isabelle,isabellesym}
     1.7 +\usepackage{pdfsetup}
     1.8 +
     1.9 +\urlstyle{rm}
    1.10 +\isabellestyle{it}
    1.11 +
    1.12 +\begin{document}
    1.13 +
    1.14 +\title{Miscellaneous FOL Examples}
    1.15 +\maketitle
    1.16 +
    1.17 +\tableofcontents
    1.18 +
    1.19 +\parindent 0pt\parskip 0.5ex
    1.20 +\input{session}
    1.21 +
    1.22 +\end{document}