|
1 \documentclass[11pt,a4paper]{article} |
|
2 \usepackage{isabelle,isabellesym} |
|
3 |
|
4 % further packages required for unusual symbols (see also |
|
5 % isabellesym.sty), use only when needed |
|
6 |
|
7 %\usepackage{amssymb} |
|
8 %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>, |
|
9 %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>, |
|
10 %\<triangleq>, \<yen>, \<lozenge> |
|
11 |
|
12 %\usepackage[greek,english]{babel} |
|
13 %option greek for \<euro> |
|
14 %option english (default language) for \<guillemotleft>, \<guillemotright> |
|
15 |
|
16 %\usepackage[latin1]{inputenc} |
|
17 %for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>, |
|
18 %\<threesuperior>, \<threequarters>, \<degree> |
|
19 |
|
20 %\usepackage[only,bigsqcap]{stmaryrd} |
|
21 %for \<Sqinter> |
|
22 |
|
23 %\usepackage{eufrak} |
|
24 %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb) |
|
25 |
|
26 %\usepackage{textcomp} |
|
27 %for \<cent>, \<currency> |
|
28 |
|
29 % this should be the last package used |
|
30 \usepackage{pdfsetup} |
|
31 |
|
32 % urls in roman style, theory text in math-similar italics |
|
33 \urlstyle{rm} |
|
34 \isabellestyle{it} |
|
35 |
|
36 % for uniform font size |
|
37 \renewcommand{\isastyle}{\isastyleminor} |
|
38 |
|
39 \parindent 0pt\parskip 0.5ex |
|
40 |
|
41 \usepackage{supertabular} |
|
42 |
|
43 \begin{document} |
|
44 |
|
45 \title{What's in Main} |
|
46 \author{} |
|
47 \date{} |
|
48 \maketitle |
|
49 |
|
50 %\setcounter{tocdepth}{1} |
|
51 %\tableofcontents |
|
52 |
|
53 % generated text of all theories |
|
54 \input{session} |
|
55 |
|
56 % optional bibliography |
|
57 %\bibliographystyle{abbrv} |
|
58 %\bibliography{root} |
|
59 |
|
60 \end{document} |
|
61 |
|
62 %%% Local Variables: |
|
63 %%% mode: latex |
|
64 %%% TeX-master: t |
|
65 %%% End: |