155714Skris 255714Skris% HOLCF/document/root.tex 355714Skris 455714Skris\documentclass[11pt,a4paper]{article} 555714Skris\usepackage{graphicx,isabelle,isabellesym,latexsym} 655714Skris\usepackage[only,bigsqcap]{stmaryrd} 755714Skris\usepackage{textcomp} 855714Skris\usepackage{pdfsetup} 955714Skris 1055714Skris\urlstyle{rm} 1155714Skris\pagestyle{myheadings} 1255714Skris 1355714Skris\begin{document} 1455714Skris 1555714Skris\title{Isabelle/HOLCF Tutorial} 1655714Skris\maketitle 1755714Skris 1855714Skris\tableofcontents 1955714Skris 2055714Skris\parindent 0pt\parskip 0.5ex 2155714Skris\input{session} 2255714Skris 2355714Skris\end{document} 2455714Skris