--- a/src/ZF/Constructible/document/root.tex Sat Jul 27 21:55:14 2002 +0200
+++ b/src/ZF/Constructible/document/root.tex Sun Jul 28 21:09:37 2002 +0200
@@ -1,23 +1,8 @@
\documentclass[11pt,a4paper]{article}
+\usepackage{graphicx}
\usepackage{isabelle,isabellesym}
-
-% further packages required for unusual symbols (see also isabellesym.sty)
-%\usepackage{latexsym}
-%\usepackage{amssymb}
-%\usepackage[english]{babel}
-%\usepackage[latin1]{inputenc}
-%\usepackage[only,bigsqcap]{stmaryrd}
-%\usepackage{wasysym}
-%\usepackage{eufrak}
-%\usepackage{textcomp}
-%\usepackage{marvosym}
-
-% this should be the last package used
-\usepackage{pdfsetup}
-
-\urlstyle{rm}
-\isabellestyle{tt} %and not {it}!
+\usepackage{pdfsetup}\urlstyle{rm}
\begin{document}
@@ -28,9 +13,14 @@
\tableofcontents
+\begin{center}
+ \includegraphics[scale=0.7]{session_graph}
+\end{center}
+
+\newpage
+
\parindent 0pt\parskip 0.5ex
-% include generated text of all theories
\input{session}
%\bibliographystyle{abbrv}
--- a/src/ZF/IsaMakefile Sat Jul 27 21:55:14 2002 +0200
+++ b/src/ZF/IsaMakefile Sun Jul 28 21:09:37 2002 +0200
@@ -86,7 +86,7 @@
Constructible/WF_absolute.thy \
Constructible/Reflection.thy Constructible/WFrec.thy \
Constructible/document/root.tex
- @$(ISATOOL) usedir $(OUT)/ZF Constructible
+ @$(ISATOOL) usedir -g true $(OUT)/ZF Constructible
## ZF-IMP