author | wenzelm |
Wed, 11 Mar 2009 20:11:06 +0100 | |
changeset 30457 | 28b487cd9e15 |
parent 30442 | src/HOL/Docs/document/root.tex@1bc0638d554d |
child 40729 | ebb0c9657b03 |
permissions | -rw-r--r-- |
30440 | 1 |
\documentclass[12pt,a4paper]{article} |
2 |
||
3 |
\oddsidemargin=4.6mm |
|
4 |
\evensidemargin=4.6mm |
|
5 |
\textwidth=150mm |
|
6 |
\topmargin=4.6mm |
|
7 |
\headheight=0mm |
|
8 |
\headsep=0mm |
|
9 |
\textheight=234mm |
|
10 |
||
30457
28b487cd9e15
basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
30442
diff
changeset
|
11 |
\usepackage{../isabelle,../isabellesym} |
30293 | 12 |
|
13 |
% further packages required for unusual symbols (see also |
|
14 |
% isabellesym.sty), use only when needed |
|
15 |
||
30401 | 16 |
\usepackage{amssymb} |
30293 | 17 |
%for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>, |
18 |
%\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>, |
|
19 |
%\<triangleq>, \<yen>, \<lozenge> |
|
20 |
||
21 |
%\usepackage[greek,english]{babel} |
|
22 |
%option greek for \<euro> |
|
23 |
%option english (default language) for \<guillemotleft>, \<guillemotright> |
|
24 |
||
25 |
%\usepackage[latin1]{inputenc} |
|
26 |
%for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>, |
|
27 |
%\<threesuperior>, \<threequarters>, \<degree> |
|
28 |
||
30401 | 29 |
\usepackage[only,bigsqcap]{stmaryrd} |
30293 | 30 |
%for \<Sqinter> |
31 |
||
32 |
%\usepackage{eufrak} |
|
33 |
%for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb) |
|
34 |
||
35 |
%\usepackage{textcomp} |
|
36 |
%for \<cent>, \<currency> |
|
37 |
||
38 |
% this should be the last package used |
|
30457
28b487cd9e15
basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
30442
diff
changeset
|
39 |
\usepackage{../pdfsetup} |
30293 | 40 |
|
41 |
% urls in roman style, theory text in math-similar italics |
|
42 |
\urlstyle{rm} |
|
43 |
\isabellestyle{it} |
|
44 |
||
45 |
% for uniform font size |
|
46 |
\renewcommand{\isastyle}{\isastyleminor} |
|
47 |
||
48 |
\parindent 0pt\parskip 0.5ex |
|
49 |
||
50 |
\usepackage{supertabular} |
|
51 |
||
52 |
\begin{document} |
|
53 |
||
54 |
\title{What's in Main} |
|
30401 | 55 |
\author{Tobias Nipkow} |
30442 | 56 |
\date{\today} |
30293 | 57 |
\maketitle |
58 |
||
30457
28b487cd9e15
basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
30442
diff
changeset
|
59 |
\input{Docs/document/Main_Doc.tex} |
30293 | 60 |
|
61 |
% optional bibliography |
|
62 |
%\bibliographystyle{abbrv} |
|
63 |
%\bibliography{root} |
|
64 |
||
65 |
\end{document} |