1\documentclass[11pt,a4paper]{article}
2\usepackage{isabelle,isabellesym}
3\usepackage{amssymb}
4\usepackage[utf8]{inputenc}
5\usepackage{pdfsetup}
6
7\urlstyle{rm}
8\isabellestyle{it}
9
10
11\begin{document}
12
13\title{Examples of Inductive and Coinductive Definitions in ZF}
14\author{Lawrence C Paulson and others}
15\maketitle
16
17\tableofcontents
18
19\parindent 0pt\parskip 0.5ex
20\input{session}
21
22\bibliographystyle{abbrv}
23\bibliography{root}
24
25\end{document}
26