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