1107120Sjulian\documentclass[12pt,a4paper]{article} 2107120Sjulian\usepackage{lmodern} 3139823Simp\usepackage[T1]{fontenc} 4139823Simp 5139823Simp%shortens document but can cause odd page breaks 6107120Sjulian%\oddsidemargin=4.6mm 7107120Sjulian%\evensidemargin=4.6mm 8107120Sjulian%\textwidth=150mm 9107120Sjulian%\topmargin=4.6mm 10107120Sjulian%\headheight=0mm 11107120Sjulian%\headsep=0mm 12107120Sjulian%\textheight=234mm 13107120Sjulian 14107120Sjulian\usepackage{isabelle,isabellesym} 15107120Sjulian\usepackage{amssymb} 16107120Sjulian\usepackage[only,bigsqcap]{stmaryrd} 17107120Sjulian 18107120Sjulian% this should be the last package used 19107120Sjulian\usepackage{pdfsetup} 20107120Sjulian 21107120Sjulian% urls in roman style, theory text in math-similar italics, with literal underscore 22107120Sjulian\urlstyle{rm} 23107120Sjulian\isabellestyle{literal} 24107120Sjulian 25107120Sjulian% for uniform font size 26107120Sjulian\renewcommand{\isastyle}{\isastyleminor} 27107120Sjulian 28107120Sjulian\parindent 0pt\parskip 0.5ex 29107120Sjulian 30114878Sjulian\usepackage{supertabular} 31107120Sjulian 32107120Sjulian\begin{document} 33107120Sjulian 34107120Sjulian\title{What's in Main} 35122634Semax\author{Tobias Nipkow} 36107120Sjulian\date{\today} 37107120Sjulian\maketitle 38129079Semax 39107120Sjulian\input{Main_Doc.tex} 40107120Sjulian 41107120Sjulian\end{document} 42107120Sjulian