src/ZF/Induct/document/root.tex
changeset 12193 b269a927c137
child 12225 2d5b513199da
equal deleted inserted replaced
12192:6ef4ad110e90 12193:b269a927c137
       
     1 
       
     2 \documentclass[11pt,a4paper]{article}
       
     3 \usepackage{isabelle,isabellesym}
       
     4 
       
     5 % this should be the last package used
       
     6 \usepackage{pdfsetup}
       
     7 
       
     8 % proper setup for best-style documents
       
     9 \urlstyle{rm}
       
    10 \isabellestyle{it}
       
    11 
       
    12 
       
    13 \begin{document}
       
    14 
       
    15 \title{Examples of Inductive and Coinductive Definitions in ZF}
       
    16 \author{Lawrence C Paulson and others}
       
    17 \maketitle
       
    18 
       
    19 \tableofcontents
       
    20 
       
    21 \parindent 0pt\parskip 0.5ex
       
    22 \input{session}
       
    23 
       
    24 \end{document}