# HG changeset patch
# User nipkow
# Date 1119462218 -7200
# Node ID 4dd8b4d1cfc322e790d19a49a321c35a59482f58
# Parent  1259088dc448e0538c62b59d1704526f3fa693fa
added Rules/find2

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