| changeset 10762 | cd1a2bee5549 |
| parent 10682 | 295a25fee35c |
| child 10765 | 94aa0b568009 |
--- a/doc-src/TutorialI/IsaMakefile Tue Jan 02 11:03:37 2001 +0100 +++ b/doc-src/TutorialI/IsaMakefile Tue Jan 02 12:04:33 2001 +0100 @@ -138,7 +138,8 @@ HOL-Inductive: HOL $(LOG)/HOL-Inductive.gz $(LOG)/HOL-Inductive.gz: $(OUT)/HOL Inductive/ROOT.ML \ - Inductive/Even.thy Inductive/Star.thy Inductive/AB.thy Inductive/Advanced.thy + Inductive/Even.thy Inductive/Mutual.thy Inductive/Star.thy Inductive/AB.thy \ + Inductive/Advanced.thy $(USEDIR) Inductive @rm -f tutorial.dvi