--- a/src/FOL/document/root.tex Sat Nov 03 01:33:33 2001 +0100
+++ b/src/FOL/document/root.tex Sat Nov 03 01:33:54 2001 +0100
@@ -2,31 +2,21 @@
% $Id$
\documentclass[11pt,a4paper]{article}
-\usepackage{isabelle,isabellesym,pdfsetup}
+\usepackage{isabelle,isabellesym}
+\usepackage{pdfsetup}
-% proper setup for best-style documents
\urlstyle{rm}
\isabellestyle{it}
-
\begin{document}
-\title{First-Order Logic}
+\title{Isabelle/FOL --- 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!
-
+\parindent 0pt\parskip 0.5ex
\input{session}
-%\bibliographystyle{plain}
-%\bibliography{root}
-
\end{document}