--- a/doc-src/TutorialI/IsaMakefile Wed Apr 19 13:20:16 2000 +0200
+++ b/doc-src/TutorialI/IsaMakefile Wed Apr 19 13:40:42 2000 +0200
@@ -64,8 +64,8 @@
HOL-Datatype: HOL $(LOG)/HOL-Datatype.gz
-$(LOG)/HOL-Datatype.gz: $(OUT)/HOL Datatype/ROOT.ML Datatype/ABexpr.thy Datatype/Nested.thy \
- Datatype/Fundata.thy
+$(LOG)/HOL-Datatype.gz: $(OUT)/HOL Datatype/ROOT.ML Datatype/ABexpr.thy \
+ Datatype/Nested.thy Datatype/unfoldnested.thy Datatype/Fundata.thy
@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Datatype