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;
kleing@13999
     1
\documentclass[envcountsame]{llncs}
kleing@13999
     2
%\documentclass[11pt,a4paper]{article}
wenzelm@42511
     3
\usepackage{../../../../lib/texinputs/isabelle,../../../../lib/texinputs/isabellesym,../../../pdfsetup}
kleing@13999
     4
kleing@13999
     5
%for best-style documents ...
kleing@13999
     6
\urlstyle{rm}
kleing@13999
     7
%\isabellestyle{it}
kleing@13999
     8
kleing@13999
     9
\newcommand{\tweakskip}{\vspace{-\medskipamount}}
kleing@13999
    10
kleing@13999
    11
\pagestyle{plain}
kleing@13999
    12
kleing@13999
    13
\begin{document}
kleing@13999
    14
nipkow@25427
    15
\title{A Tutorial Introduction to Structured Isar Proofs}
kleing@13999
    16
\author{Tobias Nipkow}
kleing@13999
    17
\institute{Institut f{\"u}r Informatik, TU M{\"u}nchen\\
kleing@13999
    18
 {\small\url{http://www.in.tum.de/~nipkow/}}}
kleing@13999
    19
\date{}
kleing@13999
    20
\maketitle
kleing@13999
    21
kleing@13999
    22
\input{intro.tex}
kleing@13999
    23
\input{Logic.tex}
kleing@13999
    24
\input{Induction.tex}
kleing@13999
    25
kleing@13999
    26
\begingroup
kleing@13999
    27
\bibliographystyle{plain} \small\raggedright\frenchspacing
kleing@13999
    28
\bibliography{root}
kleing@13999
    29
\endgroup
kleing@13999
    30
kleing@13999
    31
\end{document}