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