doc-src/Main/main.tex
author wenzelm
Wed, 15 Apr 2009 11:14:48 +0200
changeset 30895 bad26d8f0adf
parent 30457 28b487cd9e15
child 40729 ebb0c9657b03
permissions -rw-r--r--
updated for Isabelle2009;

\documentclass[12pt,a4paper]{article}

\oddsidemargin=4.6mm
\evensidemargin=4.6mm
\textwidth=150mm
\topmargin=4.6mm
\headheight=0mm
\headsep=0mm
\textheight=234mm

\usepackage{../isabelle,../isabellesym}

% further packages required for unusual symbols (see also
% isabellesym.sty), use only when needed

\usepackage{amssymb}
  %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>,
  %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
  %\<triangleq>, \<yen>, \<lozenge>

%\usepackage[greek,english]{babel}
  %option greek for \<euro>
  %option english (default language) for \<guillemotleft>, \<guillemotright>

%\usepackage[latin1]{inputenc}
  %for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>,
  %\<threesuperior>, \<threequarters>, \<degree>

\usepackage[only,bigsqcap]{stmaryrd}
  %for \<Sqinter>

%\usepackage{eufrak}
  %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)

%\usepackage{textcomp}
  %for \<cent>, \<currency>

% this should be the last package used
\usepackage{../pdfsetup}

% urls in roman style, theory text in math-similar italics
\urlstyle{rm}
\isabellestyle{it}

% for uniform font size
\renewcommand{\isastyle}{\isastyleminor}

\parindent 0pt\parskip 0.5ex

\usepackage{supertabular}

\begin{document}

\title{What's in Main}
\author{Tobias Nipkow}
\date{\today}
\maketitle

\input{Docs/document/Main_Doc.tex}

% optional bibliography
%\bibliographystyle{abbrv}
%\bibliography{root}

\end{document}