equal
deleted
inserted
replaced
1 |
1 |
2 %% $Id$ |
2 %% $Id$ |
3 |
3 |
4 \documentclass[12pt,a4paper]{report} |
4 \documentclass[12pt,a4paper]{report} |
5 \usepackage{amssymb} |
|
6 \usepackage[greek,english]{babel} |
|
7 \usepackage[latin1]{inputenc} |
|
8 \usepackage[only,bigsqcap]{stmaryrd} |
|
9 \usepackage{textcomp} |
|
10 \usepackage{supertabular} |
5 \usepackage{supertabular} |
11 \let\intorig=\int %iman.sty redefines \int |
|
12 \usepackage{graphicx} |
6 \usepackage{graphicx} |
13 \usepackage{../iman,../extra,../isar,../ttbox} |
7 \usepackage{../iman,../extra,../isar,../ttbox} |
14 \usepackage[nohyphen,strings]{../underscore} |
8 \usepackage[nohyphen,strings]{../underscore} |
15 \usepackage{../isabelle,../isabellesym} |
9 \usepackage{../isabelle,../isabellesym} |
16 \usepackage{../IsarRef/style} |
10 \usepackage{../IsarRef/style} |
34 \begin{document} |
28 \begin{document} |
35 |
29 |
36 \maketitle |
30 \maketitle |
37 \pagenumbering{roman} \tableofcontents \clearfirst |
31 \pagenumbering{roman} \tableofcontents \clearfirst |
38 |
32 |
39 \input{Thy/document/Basics} |
33 \input{Thy/document/Basics.tex} |
40 \input{Thy/document/Presentation} |
34 \input{Thy/document/Presentation.tex} |
41 \input{Thy/document/Misc} |
35 \input{Thy/document/Misc.tex} |
42 |
|
43 \appendix |
|
44 \let\int\intorig |
|
45 \input{Thy/document/Symbols} |
|
46 |
36 |
47 \begingroup |
37 \begingroup |
48 \bibliographystyle{plain} \small\raggedright\frenchspacing |
38 \bibliographystyle{plain} \small\raggedright\frenchspacing |
49 \bibliography{../manual} |
39 \bibliography{../manual} |
50 \endgroup |
40 \endgroup |