| changeset 9666 | 3572fc1dbe6b |
| parent 9644 | 6b0b6b471855 |
| child 9689 | 751fde5307e4 |
--- a/doc-src/TutorialI/IsaMakefile Mon Aug 21 13:47:24 2000 +0200 +++ b/doc-src/TutorialI/IsaMakefile Mon Aug 21 17:54:43 2000 +0200 @@ -67,7 +67,7 @@ HOL-Datatype: HOL $(LOG)/HOL-Datatype.gz $(LOG)/HOL-Datatype.gz: $(OUT)/HOL Datatype/ROOT.ML Datatype/ABexpr.thy \ - Datatype/Nested.thy Datatype/Nested2.thy Datatype/unfoldnested.thy \ + Datatype/Nested.thy Datatype/unfoldnested.thy \ Datatype/Fundata.thy @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Datatype @rm -f tutorial.dvi