doc-src/IsarOverview/Isar/document/root.tex
author wenzelm
Thu May 15 20:02:42 2008 +0200 (2008-05-15)
changeset 26911 871cc7f11034
parent 25427 8ba39d2d9d0b
child 42511 bf89455ccf9d
permissions -rw-r--r--
use Isabelle sty files from Doc/;
     1 \documentclass[envcountsame]{llncs}
     2 %\documentclass[11pt,a4paper]{article}
     3 \usepackage{../../../isabelle,../../../isabellesym,../../../pdfsetup}
     4 
     5 %for best-style documents ...
     6 \urlstyle{rm}
     7 %\isabellestyle{it}
     8 
     9 \newcommand{\tweakskip}{\vspace{-\medskipamount}}
    10 
    11 \pagestyle{plain}
    12 
    13 \begin{document}
    14 
    15 \title{A Tutorial Introduction to Structured Isar Proofs}
    16 \author{Tobias Nipkow}
    17 \institute{Institut f{\"u}r Informatik, TU M{\"u}nchen\\
    18  {\small\url{http://www.in.tum.de/~nipkow/}}}
    19 \date{}
    20 \maketitle
    21 
    22 \input{intro.tex}
    23 \input{Logic.tex}
    24 \input{Induction.tex}
    25 
    26 \begingroup
    27 \bibliographystyle{plain} \small\raggedright\frenchspacing
    28 \bibliography{root}
    29 \endgroup
    30 
    31 \end{document}