diff -r d9e43ea3a045 -r af1dabad14c0 doc-src/TutorialI/IsaMakefile
--- a/doc-src/TutorialI/IsaMakefile	Wed Jul 25 22:30:18 2012 +0200
+++ b/doc-src/TutorialI/IsaMakefile	Wed Jul 25 23:02:50 2012 +0200
@@ -121,7 +121,7 @@
 
 HOL-Advanced: HOL $(LOG)/HOL-Advanced.gz
 
-$(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp.thy Advanced/ROOT.ML
+$(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp2.thy Advanced/ROOT.ML
 	$(USEDIR) Advanced
 	@rm -f Advanced/document/isabelle.sty
 	@rm -f Advanced/document/isabellesym.sty