1 2% HOLCF/document/root.tex 3 4\documentclass[11pt,a4paper]{article} 5\usepackage{graphicx,isabelle,isabellesym,latexsym} 6\usepackage[only,bigsqcap]{stmaryrd} 7\usepackage{textcomp} 8\usepackage{pdfsetup} 9 10\urlstyle{rm} 11\pagestyle{myheadings} 12 13\begin{document} 14 15\title{Isabelle/HOLCF Tutorial} 16\maketitle 17 18\tableofcontents 19 20\parindent 0pt\parskip 0.5ex 21\input{session} 22 23\end{document} 24