equal
deleted
inserted
replaced
1 \documentclass[11pt,a4paper]{report} |
1 \documentclass[11pt,a4paper]{book} |
2 \usepackage[latin1]{inputenc} |
2 \usepackage[latin1]{inputenc} |
3 \usepackage{amsmath,amsthm} |
3 \usepackage{amsmath,amsthm} |
4 \usepackage{isabelle} |
4 \usepackage{isabelle} |
5 \usepackage{isabellesym} |
5 \usepackage{isabellesym} |
6 \usepackage{charter} |
6 \usepackage{charter} |
13 \usepackage{xcolor} |
13 \usepackage{xcolor} |
14 \usepackage{framed} |
14 \usepackage{framed} |
15 \usepackage{boxedminipage} |
15 \usepackage{boxedminipage} |
16 \usepackage{mathpartir} |
16 \usepackage{mathpartir} |
17 \usepackage{flafter} |
17 \usepackage{flafter} |
|
18 \usepackage{makeidx} |
18 \usepackage{pdfsetup} |
19 \usepackage{pdfsetup} |
19 |
20 |
20 \urlstyle{rm} |
21 \urlstyle{rm} |
21 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
22 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
22 \renewcommand{\isastyleminor}{\tt\slshape}% |
23 \renewcommand{\isastyleminor}{\tt\slshape}% |
23 \renewcommand{\isastyle}{\small\tt\slshape}% |
24 \renewcommand{\isastyle}{\small\tt\slshape}% |
24 \isadroptag{theory} |
25 \isadroptag{theory} |
|
26 |
|
27 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
28 % adding chapters explicitly to the table of content |
|
29 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}} |
|
30 |
|
31 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
32 % indexing |
|
33 \makeindex |
25 |
34 |
26 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
27 % For cross references to the other manuals: |
36 % For cross references to the other manuals: |
28 \usepackage{xr} |
37 \usepackage{xr} |
29 \externaldocument[I-]{implementation} |
38 \externaldocument[I-]{implementation} |
147 Jeremy & Dawson\\ |
156 Jeremy & Dawson\\ |
148 Alexander & Krauss\\ |
157 Alexander & Krauss\\ |
149 \end{tabular}} |
158 \end{tabular}} |
150 |
159 |
151 \maketitle |
160 \maketitle |
|
161 |
|
162 % table of contents |
|
163 \tocentry{\contentsname} |
152 \setcounter{tocdepth}{1} |
164 \setcounter{tocdepth}{1} |
153 \tableofcontents |
165 \tableofcontents |
154 |
166 |
155 % generated text of all theories |
167 % generated text of all theories |
156 \input{session} |
168 \input{session} |
157 |
169 |
158 \newpage |
170 % bibliography |
|
171 \tocentry{\bibname} |
159 \bibliographystyle{abbrv} |
172 \bibliographystyle{abbrv} |
160 \bibliography{root} |
173 \bibliography{root} |
|
174 |
|
175 % index |
|
176 \tocentry{\indexname} |
|
177 \printindex |
161 |
178 |
162 \end{document} |
179 \end{document} |
163 |
180 |
164 %%% Local Variables: |
181 %%% Local Variables: |
165 %%% mode: latex |
182 %%% mode: latex |