src/ZF/Constructible/document/root.tex
author wenzelm
Thu, 04 Jul 2002 15:03:03 +0200
changeset 13295 ca2e9b273472
child 13323 2c287f50c9f3
permissions -rw-r--r--
document setup;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13295
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
     1
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
     2
\documentclass[11pt,a4paper]{article}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
     3
\usepackage{isabelle,isabellesym}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
     4
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
     5
% further packages required for unusual symbols (see also isabellesym.sty)
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
     6
%\usepackage{latexsym}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
     7
%\usepackage{amssymb}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
     8
%\usepackage[english]{babel}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
     9
%\usepackage[latin1]{inputenc}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    10
%\usepackage[only,bigsqcap]{stmaryrd}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    11
%\usepackage{wasysym}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    12
%\usepackage{eufrak}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    13
%\usepackage{textcomp}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    14
%\usepackage{marvosym}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    15
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    16
% this should be the last package used
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    17
\usepackage{pdfsetup}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    18
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    19
% proper setup for best-style documents
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    20
\urlstyle{rm}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    21
\isabellestyle{it}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    22
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    23
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    24
\begin{document}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    25
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    26
\title{Constructible}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    27
\author{Lawrence C Paulson}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    28
\maketitle
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    29
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    30
\tableofcontents
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    31
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    32
\parindent 0pt\parskip 0.5ex
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    33
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    34
% include generated text of all theories
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    35
\input{session}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    36
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    37
%\bibliographystyle{abbrv}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    38
%\bibliography{root}
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    39
ca2e9b273472 document setup;
wenzelm
parents:
diff changeset
    40
\end{document}