--- a/doc-src/TutorialI/tutorial.tex Tue Dec 05 18:56:18 2000 +0100
+++ b/doc-src/TutorialI/tutorial.tex Tue Dec 05 18:56:57 2000 +0100
@@ -2,8 +2,8 @@
\newif\ifremarks
\remarkstrue %TRUE causes remarks to be displayed (as marginal notes)
\usepackage{cl2emono-modified,isabelle,isabellesym}
+\usepackage{../proof,amsmath,amsfonts}
\usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment}
-\usepackage{../proof,amsmath}
\usepackage{../pdfsetup} %last package!
%\newtheorem{theorem}{Theorem}[section]