| changeset 10362 | c6b197ccf1f1 |
| parent 10328 | bf33cbd76c05 |
| child 10368 | f7e8abd8ea15 |
--- a/doc-src/TutorialI/IsaMakefile Mon Oct 30 18:28:00 2000 +0100 +++ b/doc-src/TutorialI/IsaMakefile Tue Oct 31 08:53:12 2000 +0100 @@ -142,7 +142,7 @@ HOL-Types: HOL $(LOG)/HOL-Types.gz -$(LOG)/HOL-Types.gz: $(OUT)/HOL Types/ROOT.ML \ +$(LOG)/HOL-Types.gz: $(OUT)/HOL Types/ROOT.ML Types/Typedef.thy \ Types/Overloading0.thy Types/Overloading1.thy Types/Overloading2.thy \ Types/Overloading.thy Types/Axioms.thy @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Types