doc-src/Main/main.tex
author wenzelm
Sun May 01 16:36:34 2011 +0200 (2011-05-01)
changeset 42511 bf89455ccf9d
parent 40729 ebb0c9657b03
permissions -rw-r--r--
eliminated copies of isabelle style files;
nipkow@30440
     1
\documentclass[12pt,a4paper]{article}
nipkow@30440
     2
nipkow@30440
     3
\oddsidemargin=4.6mm
nipkow@30440
     4
\evensidemargin=4.6mm
nipkow@30440
     5
\textwidth=150mm
nipkow@30440
     6
\topmargin=4.6mm
nipkow@30440
     7
\headheight=0mm
nipkow@30440
     8
\headsep=0mm
nipkow@30440
     9
\textheight=234mm
nipkow@30440
    10
wenzelm@42511
    11
\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
nipkow@30401
    12
\usepackage{amssymb}
nipkow@30401
    13
\usepackage[only,bigsqcap]{stmaryrd}
nipkow@30293
    14
nipkow@30293
    15
% this should be the last package used
wenzelm@30457
    16
\usepackage{../pdfsetup}
nipkow@30293
    17
nipkow@30293
    18
% urls in roman style, theory text in math-similar italics
nipkow@30293
    19
\urlstyle{rm}
nipkow@30293
    20
\isabellestyle{it}
nipkow@30293
    21
nipkow@30293
    22
% for uniform font size
nipkow@30293
    23
\renewcommand{\isastyle}{\isastyleminor}
nipkow@30293
    24
nipkow@30293
    25
\parindent 0pt\parskip 0.5ex
nipkow@30293
    26
nipkow@30293
    27
\usepackage{supertabular}
nipkow@30293
    28
nipkow@30293
    29
\begin{document}
nipkow@30293
    30
nipkow@30293
    31
\title{What's in Main}
nipkow@30401
    32
\author{Tobias Nipkow}
nipkow@30442
    33
\date{\today}
nipkow@30293
    34
\maketitle
nipkow@30293
    35
wenzelm@30457
    36
\input{Docs/document/Main_Doc.tex}
nipkow@30293
    37
nipkow@30293
    38
% optional bibliography
nipkow@30293
    39
%\bibliographystyle{abbrv}
nipkow@30293
    40
%\bibliography{root}
nipkow@30293
    41
nipkow@30293
    42
\end{document}