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