
diff -r 0265353e4def -r 67040326ab7a doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Thu May 15 20:02:44 2008 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Thu May 15 20:14:10 2008 +0200
@@ -1,6 +1,6 @@
 \documentclass{article}
 %%\includeonly{Types/types} %%UNCOMMENT to process only selected chapters
-\usepackage{cl2emono-modified,isabelle,isabellesym}
+\usepackage{cl2emono-modified,../isabelle,../isabellesym}
 \usepackage{../proof,amsmath,amsfonts}
 \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment}
 \usepackage[greek,english]{babel}




