\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}