1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/HOLCF/Tutorial/document/root.tex Wed May 19 17:01:07 2010 -0700
1.3 @@ -0,0 +1,29 @@
1.4 +
1.5 +% HOLCF/document/root.tex
1.6 +
1.7 +\documentclass[11pt,a4paper]{article}
1.8 +\usepackage{graphicx,isabelle,isabellesym,latexsym}
1.9 +\usepackage[only,bigsqcap]{stmaryrd}
1.10 +\usepackage[latin1]{inputenc}
1.11 +\usepackage{pdfsetup}
1.12 +
1.13 +\urlstyle{rm}
1.14 +%\isabellestyle{it}
1.15 +\pagestyle{myheadings}
1.16 +
1.17 +\begin{document}
1.18 +
1.19 +\title{Isabelle/HOLCF Tutorial}
1.20 +\maketitle
1.21 +
1.22 +\tableofcontents
1.23 +
1.24 +%\newpage
1.25 +
1.26 +%\renewcommand{\isamarkupheader}[1]%
1.27 +%{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
1.28 +
1.29 +\parindent 0pt\parskip 0.5ex
1.30 +\input{session}
1.31 +
1.32 +\end{document}