author | wenzelm |
Sun, 02 Nov 2014 17:16:01 +0100 | |
changeset 58880 | 0baae4311a9f |
parent 46988 | 9f492f5b0cec |
child 73404 | 299f6a8faccc |
permissions | -rw-r--r-- |
\documentclass[11pt,a4paper]{article} \usepackage{isabelle,isabellesym} % this should be the last package used \usepackage{pdfsetup} % urls in roman style, theory text in math-similar italics \urlstyle{rm} \isabellestyle{it} \newcommand{\ganz}{\mathsf{Z}\mkern-7.5mu\mathsf{Z}} \begin{document} \title{Matrix} \author{Steven Obua} \maketitle %\tableofcontents \parindent 0pt\parskip 0.5ex \input{session} \end{document}