equal
deleted
inserted
replaced
|
1 |
|
2 %% $Id$ |
|
3 |
|
4 \documentclass[12pt]{report} |
|
5 \usepackage{a4,epsf} |
|
6 |
|
7 \makeatletter |
|
8 \input{../iman.sty} |
|
9 \input{../extra.sty} |
|
10 \makeatother |
|
11 |
|
12 \title{The Isabelle System Manual} |
|
13 |
|
14 \author{{\em Lawrence C. Paulson}\\ |
|
15 Computer Laboratory \\ University of Cambridge \\ |
|
16 \texttt{lcp@cl.cam.ac.uk}\\[3ex] |
|
17 With Contributions by Tobias Nipkow and Markus Wenzel% |
|
18 \thanks{ Chapter~\protect\ref{html} was written by Carsten Clasohm. |
|
19 Chapter~\protect\ref{browse} was written by Stefan Berghofer.}} |
|
20 |
|
21 \makeindex |
|
22 |
|
23 \setcounter{secnumdepth}{1} \setcounter{tocdepth}{2} |
|
24 |
|
25 \pagestyle{headings} |
|
26 \sloppy |
|
27 \binperiod %%%treat . like a binary operator |
|
28 |
|
29 \begin{document} |
|
30 \underscoreoff |
|
31 |
|
32 \maketitle |
|
33 \pagenumbering{roman} \tableofcontents \clearfirst |
|
34 |
|
35 %\include{introduction} |
|
36 |
|
37 \include{html} |
|
38 \include{browse} |
|
39 |
|
40 %\begingroup |
|
41 % \bibliographystyle{plain} \small\raggedright\frenchspacing |
|
42 % \bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref} |
|
43 %\endgroup |
|
44 |
|
45 \input{system.ind} |
|
46 \end{document} |