| changeset 10368 | f7e8abd8ea15 |
| parent 10362 | c6b197ccf1f1 |
| child 10538 | d1bf9ca9008d |
--- a/doc-src/TutorialI/IsaMakefile Thu Nov 02 15:45:32 2000 +0100 +++ b/doc-src/TutorialI/IsaMakefile Fri Nov 03 10:23:24 2000 +0100 @@ -134,7 +134,7 @@ 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/Acc.thy + Inductive/Even.thy Inductive/Star.thy Inductive/AB.thy Inductive/Advanced.thy @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Inductive @rm -f tutorial.dvi