| changeset 10956 | 1db8b894ada0 |
| parent 10840 | 28a53b68a8c0 |
| child 10978 | 5eebea8f359f |
--- a/doc-src/TutorialI/IsaMakefile Sun Jan 21 19:55:25 2001 +0100 +++ b/doc-src/TutorialI/IsaMakefile Mon Jan 22 11:01:05 2001 +0100 @@ -115,8 +115,8 @@ HOL-Rules: HOL $(LOG)/HOL-Rules.gz $(LOG)/HOL-Rules.gz: $(OUT)/HOL Rules/Basic.thy \ - Rules/Blast.thy Rules/Force.thy Rules/Primes.thy Rules/Forward.thy \ - Rules/ROOT.ML + Rules/Blast.thy Rules/Force.thy Rules/Primes.thy Rules/Forward.thy \ + Rules/Tacticals.thy Rules/ROOT.ML @$(USEDIR) Rules @rm -f tutorial.dvi