doc-src/IsarOverview/Isar/document/root.tex
author wenzelm
Sun May 01 16:36:34 2011 +0200 (2011-05-01)
changeset 42511 bf89455ccf9d
parent 26911 871cc7f11034
permissions -rw-r--r--
eliminated copies of isabelle style files;
     1 \documentclass[envcountsame]{llncs}
     2 %\documentclass[11pt,a4paper]{article}
     3 \usepackage{../../../../lib/texinputs/isabelle,../../../../lib/texinputs/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}