diff -r 1259088dc448 -r 4dd8b4d1cfc3 doc-src/TutorialI/IsaMakefile
--- a/doc-src/TutorialI/IsaMakefile	Wed Jun 22 19:41:30 2005 +0200
+++ b/doc-src/TutorialI/IsaMakefile	Wed Jun 22 19:43:38 2005 +0200
@@ -121,7 +121,7 @@
 
 $(LOG)/HOL-Rules.gz: $(OUT)/HOL Rules/Basic.thy \
 	Rules/Blast.thy Rules/Force.thy Rules/Primes.thy Rules/Forward.thy \
-	Rules/Tacticals.thy Rules/ROOT.ML 
+	Rules/Tacticals.thy Rules/find2.thy Rules/ROOT.ML 
 	@$(USEDIR) Rules
 	@rm -f tutorial.dvi