# HG changeset patch # User wenzelm # Date 1005776535 -3600 # Node ID b269a927c1371f8c98389a522687907d4d3ef415 # Parent 6ef4ad110e90830a5ef3d42c51403e796fea3844 document setup; diff -r 6ef4ad110e90 -r b269a927c137 src/ZF/Induct/document/root.tex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/ZF/Induct/document/root.tex Wed Nov 14 23:22:15 2001 +0100 @@ -0,0 +1,24 @@ + +\documentclass[11pt,a4paper]{article} +\usepackage{isabelle,isabellesym} + +% this should be the last package used +\usepackage{pdfsetup} + +% proper setup for best-style documents +\urlstyle{rm} +\isabellestyle{it} + + +\begin{document} + +\title{Examples of Inductive and Coinductive Definitions in ZF} +\author{Lawrence C Paulson and others} +\maketitle + +\tableofcontents + +\parindent 0pt\parskip 0.5ex +\input{session} + +\end{document}