| changeset 16543 | 4dd8b4d1cfc3 |
| parent 16069 | 3f2a9f400168 |
| child 17055 | eacce1cd716a |
--- 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