diff -r 6c95ec0394f1 -r 4ee7a8af1903 doc-src/TutorialI/IsaMakefile
--- a/doc-src/TutorialI/IsaMakefile	Wed Jun 17 10:07:15 2009 +0200
+++ b/doc-src/TutorialI/IsaMakefile	Wed Jun 17 10:07:22 2009 +0200
@@ -151,7 +151,6 @@
 
 $(LOG)/HOL-Types.gz: $(OUT)/HOL Types/ROOT.ML \
   Types/Numbers.thy Types/Pairs.thy Types/Records.thy Types/Typedefs.thy \
-  Types/Overloading0.thy Types/Overloading1.thy Types/Overloading2.thy \
   Types/Overloading.thy Types/Axioms.thy
 	$(USEDIR) Types
 	@rm -f tutorial.dvi