--- a/doc-src/TutorialI/tutorial.tex Sun May 01 00:01:59 2011 +0200
+++ b/doc-src/TutorialI/tutorial.tex Sun May 01 16:36:34 2011 +0200
@@ -1,6 +1,6 @@
\documentclass{article}
%%\includeonly{Types/types} %%UNCOMMENT to process only selected chapters
-\usepackage{cl2emono-modified,../isabelle,../isabellesym}
+\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}