1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu May 08 13:10:02 2003 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu May 08 13:36:07 2003 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  \usepackage{cl2emono-modified,isabelle,isabellesym}
     1.5  \usepackage{../proof,amsmath,amsfonts}
     1.6  \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment}
     1.7 -\let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig  %bug in marvosym!?
     1.8 +\usepackage[greek,english]{babel}
     1.9  \usepackage{../pdfsetup}   
    1.10  %last package!
    1.11