| author | wenzelm |
| Fri, 26 Nov 2010 23:51:34 +0100 | |
| changeset 40980 | ebb0c9657b03 |
| parent 30457 | 28b487cd9e15 |
| child 43382 | bf89455ccf9d |
| permissions | -rw-r--r-- |
| nipkow@30434 | 1 |
\documentclass[12pt,a4paper]{article}
|
| nipkow@30434 | 2 |
|
| nipkow@30434 | 3 |
\oddsidemargin=4.6mm |
| nipkow@30434 | 4 |
\evensidemargin=4.6mm |
| nipkow@30434 | 5 |
\textwidth=150mm |
| nipkow@30434 | 6 |
\topmargin=4.6mm |
| nipkow@30434 | 7 |
\headheight=0mm |
| nipkow@30434 | 8 |
\headsep=0mm |
| nipkow@30434 | 9 |
\textheight=234mm |
| nipkow@30434 | 10 |
|
| wenzelm@30457 | 11 |
\usepackage{../isabelle,../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@30436 | 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}
|