| changeset 10225 | b9fd52525b69 |
| parent 10217 | e61e7e1eacaf |
| child 10296 | 0c5907082459 |
--- a/doc-src/TutorialI/IsaMakefile Mon Oct 16 10:59:35 2000 +0200 +++ b/doc-src/TutorialI/IsaMakefile Mon Oct 16 13:21:01 2000 +0200 @@ -114,7 +114,8 @@ HOL-Inductive: HOL $(LOG)/HOL-Inductive.gz -$(LOG)/HOL-Inductive.gz: $(OUT)/HOL Inductive/AB.thy Inductive/ROOT.ML +$(LOG)/HOL-Inductive.gz: $(OUT)/HOL Inductive/ROOT.ML \ + Inductive/Star.thy Inductive/AB.thy @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Inductive @rm -f tutorial.dvi