nipkow@30434: \documentclass[12pt,a4paper]{article}
nipkow@30434: 
nipkow@30434: \oddsidemargin=4.6mm
nipkow@30434: \evensidemargin=4.6mm
nipkow@30434: \textwidth=150mm
nipkow@30434: \topmargin=4.6mm
nipkow@30434: \headheight=0mm
nipkow@30434: \headsep=0mm
nipkow@30434: \textheight=234mm
nipkow@30434: 
nipkow@30293: \usepackage{isabelle,isabellesym}
nipkow@30293: 
nipkow@30293: % further packages required for unusual symbols (see also
nipkow@30293: % isabellesym.sty), use only when needed
nipkow@30293: 
nipkow@30401: \usepackage{amssymb}
nipkow@30293:   %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>,
nipkow@30293:   %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
nipkow@30293:   %\<triangleq>, \<yen>, \<lozenge>
nipkow@30293: 
nipkow@30293: %\usepackage[greek,english]{babel}
nipkow@30293:   %option greek for \<euro>
nipkow@30293:   %option english (default language) for \<guillemotleft>, \<guillemotright>
nipkow@30293: 
nipkow@30293: %\usepackage[latin1]{inputenc}
nipkow@30293:   %for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>,
nipkow@30293:   %\<threesuperior>, \<threequarters>, \<degree>
nipkow@30293: 
nipkow@30401: \usepackage[only,bigsqcap]{stmaryrd}
nipkow@30293:   %for \<Sqinter>
nipkow@30293: 
nipkow@30293: %\usepackage{eufrak}
nipkow@30293:   %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)
nipkow@30293: 
nipkow@30293: %\usepackage{textcomp}
nipkow@30293:   %for \<cent>, \<currency>
nipkow@30293: 
nipkow@30293: % this should be the last package used
nipkow@30293: \usepackage{pdfsetup}
nipkow@30293: 
nipkow@30293: % urls in roman style, theory text in math-similar italics
nipkow@30293: \urlstyle{rm}
nipkow@30293: \isabellestyle{it}
nipkow@30293: 
nipkow@30293: % for uniform font size
nipkow@30293: \renewcommand{\isastyle}{\isastyleminor}
nipkow@30293: 
nipkow@30293: \parindent 0pt\parskip 0.5ex
nipkow@30293: 
nipkow@30293: \usepackage{supertabular}
nipkow@30293: 
nipkow@30293: \begin{document}
nipkow@30293: 
nipkow@30293: \title{What's in Main}
nipkow@30401: \author{Tobias Nipkow}
nipkow@30436: \date{\today}
nipkow@30293: \maketitle
nipkow@30293: 
nipkow@30436: \input{Main_Doc}
nipkow@30293: 
nipkow@30293: % optional bibliography
nipkow@30293: %\bibliographystyle{abbrv}
nipkow@30293: %\bibliography{root}
nipkow@30293: 
nipkow@30293: \end{document}