src/HOL/UNITY/document/root.tex
author obua
Mon Apr 10 16:00:34 2006 +0200 (2006-04-10)
changeset 19404 9bf2cdc9e8e8
parent 17159 d5060118122e
permissions -rw-r--r--
Moved stuff from Ring_and_Field to Matrix
paulson@14150
     1
\documentclass[10pt,a4paper,twoside]{article}
paulson@14150
     2
\usepackage{graphicx}
paulson@14150
     3
\usepackage{latexsym,theorem}
paulson@14150
     4
\usepackage{isabelle,isabellesym}
paulson@14150
     5
\usepackage{pdfsetup}\urlstyle{rm}
paulson@14150
     6
paulson@14150
     7
\begin{document}
paulson@14150
     8
paulson@14150
     9
\pagestyle{headings}
paulson@14150
    10
\pagenumbering{arabic}
paulson@14150
    11
paulson@14150
    12
\title{The UNITY Formalism}
paulson@14150
    13
\author{Sidi Ehmety and Lawrence C. Paulson}
paulson@14150
    14
\maketitle
paulson@14150
    15
paulson@14150
    16
\tableofcontents
paulson@14150
    17
paulson@14150
    18
\begin{center}
wenzelm@17159
    19
  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
paulson@14150
    20
\end{center}
paulson@14150
    21
paulson@14150
    22
\newpage
paulson@14150
    23
paulson@14150
    24
\parindent 0pt\parskip 0.5ex
paulson@14150
    25
paulson@14150
    26
\input{session}
paulson@14150
    27
\end{document}