src/ZF/document/root.tex
author wenzelm
Wed, 27 Mar 2013 16:38:25 +0100
changeset 51553 63327f679cff
parent 49001 c83370b55e46
child 58871 c399ae4b836f
permissions -rw-r--r--
more ambitious Goal.skip_proofs: covers Goal.prove forms as well, and do not insist in quick_and_dirty (for the sake of Isabelle/jEdit);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
40944
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
     1
\documentclass[11pt,a4paper]{article}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
     2
\usepackage{graphicx,isabelle,isabellesym}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
     3
\usepackage{amssymb}
49001
c83370b55e46 more robust document setup;
wenzelm
parents: 40944
diff changeset
     4
\usepackage[english]{babel}
40944
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
     5
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
     6
% this should be the last package used
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
     7
\usepackage{pdfsetup}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
     8
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
     9
% proper setup for best-style documents
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    10
\urlstyle{rm}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    11
\isabellestyle{it}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    12
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    13
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    14
\begin{document}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    15
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    16
\title{ZF}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    17
\author{Lawrence C Paulson and others}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    18
\maketitle
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    19
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    20
\tableofcontents
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    21
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    22
\begin{center}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    23
  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    24
\end{center}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    25
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    26
\newpage
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    27
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    28
\renewcommand{\isamarkupheader}[1]%
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    29
{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    30
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    31
\parindent 0pt\parskip 0.5ex
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    32
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    33
% include generated text of all theories
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    34
\input{session}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    35
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    36
%\bibliographystyle{abbrv}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    37
%\bibliography{root}
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    38
fa22ae64ed85 removed old generated stuff;
wenzelm
parents: 28297
diff changeset
    39
\end{document}