doc-src/TutorialI/Overview/document/root.tex

val stdErr = std_out (std_err is unavaliable in polyml-3.x);

\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym,pdfsetup}

%for best-style documents ...
\urlstyle{rm}
%\isabellestyle{it}

\newtheorem{Exercise}{Exercise}[section]
\newenvironment{exercise}{\begin{Exercise}\rm}{\end{Exercise}}

\begin{document}

\title{Overview}\maketitle

\input{session}

%\bibliographystyle{plain}
%\bibliography{root}

\end{document}