src/HOL/MicroJava/document/root.tex
author webertj
Mon Mar 07 19:30:53 2005 +0100 (2005-03-07)
changeset 15584 3478bb4f93ff
parent 12914 71015f46b3c1
child 17159 d5060118122e
permissions -rw-r--r--
refute_params: default value itself=1 added (for type classes)
     1 %\documentclass[11pt,a4paper]{article}
     2 \documentclass[11pt,a4paper]{book}
     3 \usepackage{graphicx,latexsym,isabelle,isabellesym,pdfsetup}
     4 
     5 \urlstyle{rm}
     6 \pagestyle{myheadings}
     7 
     8 %make a bit more space
     9 \addtolength{\hoffset}{-1,5cm}
    10 \addtolength{\textwidth}{3cm}
    11 \addtolength{\voffset}{-1cm}
    12 \addtolength{\textheight}{2cm}
    13 
    14 \newcommand{\isaheader}[1]
    15 {\newpage\markright{Theory~\isabellecontext}\section{#1}}
    16 \renewcommand{\isamarkupheader}[1]{#1}
    17 \renewcommand{\isamarkupsection}[1]{\subsection{#1}}
    18 
    19 \newcommand{\mJava}{$\mu$Java}
    20 \newcommand{\secref}[1]{Section~\ref{#1}}
    21 \newcommand{\secrefs}[1]{Sections~\ref{#1}}
    22 \newcommand{\charef}[1]{Chapter~\ref{#1}}
    23 \newcommand{\charefs}[1]{Chapters~\ref{#1}}
    24 
    25 %remove clutter from the toc
    26 \setcounter{secnumdepth}{2}
    27 \setcounter{tocdepth}{1}
    28 
    29 \begin{document}
    30 
    31 \title{Java Source and Bytecode Formalizations in Isabelle: \mJava\\
    32 %  {\large -- VerifiCard Project Deliverables -- }
    33 }
    34 \author{Gerwin Klein \and Tobias Nipkow \and David von Oheimb \and
    35   \and Cornelia Pusch \and Martin Strecker}
    36 \maketitle
    37 
    38 
    39 \tableofcontents
    40 \parindent 0pt \parskip 0.5ex
    41 
    42 \input{introduction.tex}
    43 
    44 \section{Theory Dependencies}
    45 
    46 Figure \ref{theory-deps} shows the dependencies between 
    47 the Isabelle theories in the following sections.
    48 
    49 \begin{figure}[h!t]
    50 \begin{center}
    51   \includegraphics[scale=0.4]{session_graph}
    52 \end{center}
    53 \caption{Theory Dependency Graph\label{theory-deps}}
    54 \end{figure}
    55 
    56 \newpage
    57 \input{session}
    58 
    59 \newpage
    60 \nocite{*}
    61 \bibliographystyle{abbrv}
    62 \bibliography{root}
    63 
    64 \end{document}