wneuper/isa: doc-src/Main/main.tex@ebb0c9657b03

     1 \documentclass[12pt,a4paper]{article}

     3 \oddsidemargin=4.6mm

     4 \evensidemargin=4.6mm

     5 \textwidth=150mm

     6 \topmargin=4.6mm

     7 \headheight=0mm

     8 \headsep=0mm

     9 \textheight=234mm

    11 \usepackage{../isabelle,../isabellesym}

    12 \usepackage{amssymb}

    13 \usepackage[only,bigsqcap]{stmaryrd}

    15 % this should be the last package used

    16 \usepackage{../pdfsetup}

    18 % urls in roman style, theory text in math-similar italics

    19 \urlstyle{rm}

    20 \isabellestyle{it}

    22 % for uniform font size

    23 \renewcommand{\isastyle}{\isastyleminor}

    25 \parindent 0pt\parskip 0.5ex

    27 \usepackage{supertabular}

    29 \begin{document}

    31 \title{What's in Main}

    32 \author{Tobias Nipkow}

    33 \date{\today}

    34 \maketitle

    36 \input{Docs/document/Main_Doc.tex}

    38 % optional bibliography

    39 %\bibliographystyle{abbrv}

    40 %\bibliography{root}

    42 \end{document}

author	wenzelm
	Fri, 26 Nov 2010 23:51:34 +0100
changeset 40980	ebb0c9657b03
parent 30457	28b487cd9e15
child 43382	bf89455ccf9d
permissions	-rw-r--r--