| 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-- |
| wenzelm@14662 | 1 |
\documentclass[11pt,a4paper]{article}
|
| wenzelm@14662 | 2 |
\usepackage{isabelle,isabellesym}
|
| wenzelm@14662 | 3 |
|
| wenzelm@14662 | 4 |
% this should be the last package used |
| wenzelm@14662 | 5 |
\usepackage{pdfsetup}
|
| wenzelm@14662 | 6 |
|
| wenzelm@14662 | 7 |
% urls in roman style, theory text in math-similar italics |
| wenzelm@14662 | 8 |
\urlstyle{rm}
|
| wenzelm@14662 | 9 |
\isabellestyle{it}
|
| wenzelm@14662 | 10 |
|
| wenzelm@14662 | 11 |
\newcommand{\ganz}{\mathsf{Z}\mkern-7.5mu\mathsf{Z}}
|
| wenzelm@14662 | 12 |
|
| wenzelm@14662 | 13 |
\begin{document}
|
| wenzelm@14662 | 14 |
|
| wenzelm@14662 | 15 |
\title{Matrix}
|
| wenzelm@14662 | 16 |
\author{Steven Obua}
|
| wenzelm@14662 | 17 |
\maketitle |
| wenzelm@14662 | 18 |
|
| wenzelm@14662 | 19 |
%\tableofcontents |
| wenzelm@14662 | 20 |
|
| wenzelm@14662 | 21 |
\parindent 0pt\parskip 0.5ex |
| wenzelm@14662 | 22 |
|
| wenzelm@14662 | 23 |
\input{session}
|
| wenzelm@14662 | 24 |
|
| wenzelm@14662 | 25 |
\end{document}
|