doc-src/TutorialI/tutorial.tex

--- a/doc-src/TutorialI/tutorial.tex	Fri Jun 29 15:40:17 2012 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Fri Jun 29 15:45:50 2012 +0200
@@ -3,7 +3,8 @@
 \usepackage{cl2emono-modified,../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
 \usepackage{../proof,amsmath,amsfonts}
 \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment}
-\usepackage[greek,english]{babel}
+\usepackage{eurosym}
+\usepackage[english]{babel}
 \usepackage{../pdfsetup}   
 %last package!