1.1 --- a/doc-src/TutorialI/tutorial.tex	Mon Nov 27 11:06:28 2000 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Mon Nov 27 16:40:56 2000 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  \remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)
     1.5  \usepackage{cl2emono-modified,isabelle,isabellesym}
     1.6  \usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment}
     1.7 -\usepackage{proof,amsmath}
     1.8 +\usepackage{../proof,amsmath}
     1.9  \usepackage{../pdfsetup}    %last package!
    1.10  
    1.11  %\newtheorem{theorem}{Theorem}[section]