| changeset 7509 | d6fc3c4423f7 |
| parent 7466 | 7df66ce6508a |
| child 7532 | a77d5feec304 |
| 7508:c8b5dcacf2e3 | 7509:d6fc3c4423f7 |
|---|---|
1 |
1 |
2 %% $Id$ |
2 %% $Id$ |
3 |
3 |
4 \documentclass[12pt,fleqn]{report} |
4 \documentclass[12pt,fleqn]{report} |
5 \usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup} |
5 \usepackage{graphicx,a4,../url,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup} |
6 |
6 |
7 \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual} |
7 \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual} |
8 \author{\emph{Markus Wenzel} \\ TU M\"unchen} |
8 \author{\emph{Markus Wenzel} \\ TU M\"unchen} |
9 |
9 |
10 \makeindex |
10 \makeindex |