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