fix euro error

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