--- a/doc-src/TutorialI/IsaMakefile Wed Nov 29 10:22:38 2000 +0100
+++ b/doc-src/TutorialI/IsaMakefile Wed Nov 29 13:44:26 2000 +0100
@@ -142,7 +142,8 @@
HOL-Types: HOL $(LOG)/HOL-Types.gz
-$(LOG)/HOL-Types.gz: $(OUT)/HOL Types/ROOT.ML Types/Typedef.thy \
+$(LOG)/HOL-Types.gz: $(OUT)/HOL Types/ROOT.ML Types/Pairs.thy \
+ 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
@@ -155,7 +156,6 @@
$(LOG)/HOL-Misc.gz: $(OUT)/HOL Misc/ROOT.ML Misc/Tree.thy Misc/Tree2.thy \
Misc/fakenat.thy Misc/natsum.thy Misc/pairs.thy Misc/types.thy \
Misc/prime_def.thy Misc/case_exprs.thy \
- Misc/arith1.thy Misc/arith2.thy Misc/arith3.thy \
Misc/simp.thy Misc/Itrev.thy Misc/AdvancedInd.thy
@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Misc
@rm -f tutorial.dvi