# HG changeset patch
# User paulson
# Date 1025862260 -7200
# Node ID 60301202f91b5548961f7c834140e36629f03c9b
# Parent  98ce70e7d1f7149712a13bce8dd180d4f6b55c54
for ZF document

diff -r 98ce70e7d1f7 -r 60301202f91b src/ZF/document/root.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/ZF/document/root.tex	Fri Jul 05 11:44:20 2002 +0200
@@ -0,0 +1,40 @@
+
+\documentclass[11pt,a4paper]{article}
+\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}
+
+% proper setup for best-style documents
+\urlstyle{rm}
+\isabellestyle{it}
+
+
+\begin{document}
+
+\title{ZF}
+\author{Lawrence C Paulson and others}
+\maketitle
+
+\tableofcontents
+
+\parindent 0pt\parskip 0.5ex
+
+% include generated text of all theories
+\input{session}
+
+%\bibliographystyle{abbrv}
+%\bibliography{root}
+
+\end{document}