src/FOL/document/root.tex
author wenzelm
Thu, 04 Oct 2001 14:49:10 +0200
changeset 11667 1af97cd22632
child 12023 d982f98e0f0d
permissions -rw-r--r--
document setup;


% $Id$

\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym,pdfsetup}

% proper setup for best-style documents
\urlstyle{rm}
\isabellestyle{it}


\begin{document}

\title{First-Order Logic}
\author{Larry Paulson and Markus Wenzel}
\maketitle

\tableofcontents

\parindent 0pt
\parskip 0.5ex

\paragraph{Note.} This may serve as an example of initializing all the tools
and packages required for a reasonable working environment.  Please go
elsewhere to see actual applications of Isabelle!

\input{session}

%\bibliographystyle{plain}
%\bibliography{root}

\end{document}