centralized handling of built-in types and constants;
also store types and constants which are rewritten during preprocessing;
interfaces are identified by classes (supporting inheritance, at least on the level of built-in symbols);
removed term_eq in favor of type replacements: term-level occurrences of type bool are replaced by type term_bool (only for the translation)
% HOLCF/document/root.tex
\documentclass[11pt,a4paper]{article}
\usepackage{graphicx,isabelle,isabellesym,latexsym}
\usepackage[only,bigsqcap]{stmaryrd}
\usepackage{textcomp}
\usepackage{pdfsetup}
\urlstyle{rm}
%\isabellestyle{it}
\pagestyle{myheadings}
\begin{document}
\title{Isabelle/HOLCF Tutorial}
\maketitle
\tableofcontents
%\newpage
%\renewcommand{\isamarkupheader}[1]%
%{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
\parindent 0pt\parskip 0.5ex
\input{session}
\end{document}