equal
deleted
inserted
replaced
1 \documentclass[12pt,a4paper]{article} |
|
2 |
|
3 \oddsidemargin=4.6mm |
|
4 \evensidemargin=4.6mm |
|
5 \textwidth=150mm |
|
6 \topmargin=4.6mm |
|
7 \headheight=0mm |
|
8 \headsep=0mm |
|
9 \textheight=234mm |
|
10 |
|
11 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym} |
|
12 \usepackage{amssymb} |
|
13 \usepackage[only,bigsqcap]{stmaryrd} |
|
14 |
|
15 % this should be the last package used |
|
16 \usepackage{../pdfsetup} |
|
17 |
|
18 % urls in roman style, theory text in math-similar italics |
|
19 \urlstyle{rm} |
|
20 \isabellestyle{it} |
|
21 |
|
22 % for uniform font size |
|
23 \renewcommand{\isastyle}{\isastyleminor} |
|
24 |
|
25 \parindent 0pt\parskip 0.5ex |
|
26 |
|
27 \usepackage{supertabular} |
|
28 |
|
29 \begin{document} |
|
30 |
|
31 \title{What's in Main} |
|
32 \author{Tobias Nipkow} |
|
33 \date{\today} |
|
34 \maketitle |
|
35 |
|
36 \input{Docs/document/Main_Doc.tex} |
|
37 |
|
38 % optional bibliography |
|
39 %\bibliographystyle{abbrv} |
|
40 %\bibliography{root} |
|
41 |
|
42 \end{document} |
|