1\documentclass[12pt,a4paper,fleqn]{report}
2\usepackage{lmodern}
3\usepackage[T1]{fontenc}
4\usepackage{amsmath}
5\usepackage{amssymb}
6\usepackage{wasysym}
7\usepackage{eurosym}
8\usepackage[english]{babel}
9\usepackage[only,bigsqcap]{stmaryrd}
10\usepackage{textcomp}
11\usepackage{latexsym}
12\usepackage{graphicx}
13\let\intorig=\int  %iman.sty redefines \int
14\usepackage{iman,extra,isar,proof}
15\usepackage[nohyphen,strings]{underscore}
16\usepackage{isabelle}
17\usepackage{isabellesym}
18\usepackage{railsetup}
19\usepackage{supertabular}
20\usepackage{style}
21\usepackage{pdfsetup}
22
23\hyphenation{Isabelle}
24\hyphenation{Isar}
25
26\isadroptag{theory}
27\title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
28\author{\emph{Makarius Wenzel} \\[3ex]
29  With Contributions by
30  Clemens Ballarin,
31  Stefan Berghofer, \\
32  Jasmin Blanchette,
33  Timothy Bourke,
34  Lukas Bulwahn, \\
35  Amine Chaieb,
36  Lucas Dixon,
37  Florian Haftmann, \\
38  Brian Huffman,
39  Lars Hupel,
40  Gerwin Klein, \\
41  Alexander Krauss,
42  Ond\v{r}ej Kun\v{c}ar,
43  Andreas Lochbihler, \\
44  Tobias Nipkow,
45  Lars Noschinski,
46  David von Oheimb, \\
47  Larry Paulson,
48  Sebastian Skalberg, \\
49  Christian Sternagel,
50  Dmitriy Traytel
51}
52
53\makeindex
54
55\chardef\charbackquote=`\`
56\newcommand{\backquote}{\mbox{\tt\charbackquote}}
57
58
59\begin{document}
60
61\maketitle 
62
63\pagenumbering{roman}
64\chapter*{Preface}
65\input{Preface.tex}
66\tableofcontents
67\listoffigures
68\clearfirst
69
70\part{Basic Concepts}
71\input{Synopsis.tex}
72\input{Framework.tex}
73\input{First_Order_Logic.tex}
74\part{General Language Elements}
75\input{Outer_Syntax.tex}
76\input{Document_Preparation.tex}
77\input{Spec.tex}
78\input{Proof.tex}
79\input{Proof_Script.tex}
80\input{Inner_Syntax.tex}
81\input{Generic.tex}
82\part{Isabelle/HOL}\label{part:hol}
83\input{HOL_Specific.tex}
84
85\part{Appendix}
86\appendix
87\input{Quick_Reference.tex}
88\let\int\intorig
89\input{Symbols.tex}
90
91\begingroup
92  \tocentry{\bibname}
93  \bibliographystyle{abbrv} \small\raggedright\frenchspacing
94  \bibliography{manual}
95\endgroup
96
97\tocentry{\indexname}
98\printindex
99
100\end{document}
101