--- a/doc-src/TutorialI/tutorial.tex Mon Aug 28 13:50:24 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex Mon Aug 28 13:52:38 2000 +0200
@@ -1,7 +1,7 @@
% pr(latex xsymbols symbols)
\documentclass[11pt,a4paper]{report}
\usepackage{isabelle,isabellesym}
-\usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}
+\usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment}
\usepackage{../pdfsetup} %last package!
\newcommand\Out[1]{\texttt{\textsl{#1}}} %% for output from terminal sessions