1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu Dec 20 21:12:02 2001 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu Dec 20 21:13:22 2001 +0100
     1.3 @@ -2,6 +2,7 @@
     1.4  \usepackage{cl2emono-modified,isabelle,isabellesym}
     1.5  \usepackage{../proof,amsmath,amsfonts}
     1.6  \usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment}
     1.7 +\let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig  %bug in marvosym!?
     1.8  \usepackage{../pdfsetup}   
     1.9  %last package!
    1.10