diff -r 6c95ec0394f1 -r 4ee7a8af1903 doc-src/TutorialI/Makefile
--- a/doc-src/TutorialI/Makefile	Wed Jun 17 10:07:15 2009 +0200
+++ b/doc-src/TutorialI/Makefile	Wed Jun 17 10:07:22 2009 +0200
@@ -22,7 +22,8 @@
 	Protocol/document/Event.tex Protocol/document/Message.tex	\
 	Protocol/document/Public.tex Protocol/document/NS_Public.tex	\
 	Rules/rules.tex Sets/sets.tex Types/numerics.tex		\
-	Types/types.tex Documents/documents.tex ../iman.sty		\
+	Types/types.tex Types/document/Overloading.tex \
+	Types/document/Axioms.tex Documents/documents.tex Misc/document/appendix.tex ../iman.sty	\
 	../ttbox.sty ../extra.sty ../isabelle.sty ../isabellesym.sty	\
 	../pdfsetup.sty