author | wenzelm |
Sat, 17 Mar 2012 12:52:40 +0100 | |
changeset 47859 | 9f492f5b0cec |
parent 36869 | src/HOL/Matrix/document/root.tex@952b2b102a0a |
permissions | -rw-r--r-- |
1 \documentclass[11pt,a4paper]{article}
2 \usepackage{isabelle,isabellesym}
4 % this should be the last package used
5 \usepackage{pdfsetup}
7 % urls in roman style, theory text in math-similar italics
8 \urlstyle{rm}
9 \isabellestyle{it}
11 \newcommand{\ganz}{\mathsf{Z}\mkern-7.5mu\mathsf{Z}}
13 \begin{document}
15 \title{Matrix}
16 \author{Steven Obua}
17 \maketitle
19 %\tableofcontents
21 \parindent 0pt\parskip 0.5ex
23 \input{session}
25 \end{document}