equal
deleted
inserted
replaced
1 |
1 |
2 %% $Id$ |
2 %% $Id$ |
3 |
3 |
4 \documentclass[12pt,fleqn]{report} |
4 \documentclass[12pt,a4paper,fleqn]{report} |
5 \usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup} |
5 \usepackage{graphicx,../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 |