src/HOL/MicroJava/document/root.tex
changeset 17159 d5060118122e
parent 12914 71015f46b3c1
child 55369 713629c2b73c
equal deleted inserted replaced
17158:d68bf267cbba 17159:d5060118122e
       
     1 % $Id$
       
     2 
     1 %\documentclass[11pt,a4paper]{article}
     3 %\documentclass[11pt,a4paper]{article}
     2 \documentclass[11pt,a4paper]{book}
     4 \documentclass[11pt,a4paper]{book}
     3 \usepackage{graphicx,latexsym,isabelle,isabellesym,pdfsetup}
     5 \usepackage{graphicx,latexsym,isabelle,isabellesym,pdfsetup}
     4 
     6 
     5 \urlstyle{rm}
     7 \urlstyle{rm}
    26 \setcounter{secnumdepth}{2}
    28 \setcounter{secnumdepth}{2}
    27 \setcounter{tocdepth}{1}
    29 \setcounter{tocdepth}{1}
    28 
    30 
    29 \begin{document}
    31 \begin{document}
    30 
    32 
    31 \title{Java Source and Bytecode Formalizations in Isabelle: \mJava\\
    33 \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
    34 \author{Gerwin Klein \and Tobias Nipkow \and David von Oheimb \and
    35   \and Cornelia Pusch \and Martin Strecker}
    35   \and Cornelia Pusch \and Martin Strecker}
    36 \maketitle
    36 \maketitle
    37 
    37 
    38 
    38 
    46 Figure \ref{theory-deps} shows the dependencies between 
    46 Figure \ref{theory-deps} shows the dependencies between 
    47 the Isabelle theories in the following sections.
    47 the Isabelle theories in the following sections.
    48 
    48 
    49 \begin{figure}[h!t]
    49 \begin{figure}[h!t]
    50 \begin{center}
    50 \begin{center}
    51   \includegraphics[scale=0.4]{session_graph}
    51   \includegraphics[width=\textwidth,height=0.95\textheight,keepaspectratio]{session_graph}
    52 \end{center}
    52 \end{center}
    53 \caption{Theory Dependency Graph\label{theory-deps}}
    53 \caption{Theory Dependency Graph\label{theory-deps}}
    54 \end{figure}
    54 \end{figure}
    55 
    55 
    56 \newpage
    56 \newpage