src/FOL/document/root.tex
author haftmann
Thu Nov 23 17:03:27 2017 +0000 (21 months ago)
changeset 67087 733017b19de9
parent 36862 952b2b102a0a
permissions -rw-r--r--
generalized more lemmas
     1 \documentclass[11pt,a4paper]{article}
     2 \usepackage{isabelle,isabellesym}
     3 \usepackage{pdfsetup}
     4 
     5 \urlstyle{rm}
     6 \isabellestyle{it}
     7 
     8 \begin{document}
     9 
    10 \title{Isabelle/FOL --- First-Order Logic}
    11 \author{Larry Paulson and Markus Wenzel}
    12 \maketitle
    13 
    14 \tableofcontents
    15 
    16 \parindent 0pt\parskip 0.5ex
    17 \input{session}
    18 
    19 \end{document}