--- 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}