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

% $Id$


% proper setup for best-style documents


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


\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!