--- a/doc-src/TutorialI/IsaMakefile Wed Nov 29 18:42:40 2000 +0100
+++ b/doc-src/TutorialI/IsaMakefile Thu Nov 30 13:56:46 2000 +0100
@@ -78,7 +78,7 @@
HOL-Trie: HOL $(LOG)/HOL-Trie.gz
-$(LOG)/HOL-Trie.gz: $(OUT)/HOL Trie/Option2.thy Trie/Trie.thy
+$(LOG)/HOL-Trie.gz: $(OUT)/HOL Trie/ROOT.ML Trie/Trie.thy
@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Trie
@rm -f tutorial.dvi
@@ -154,8 +154,8 @@
HOL-Misc: HOL $(LOG)/HOL-Misc.gz
$(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/fakenat.thy Misc/natsum.thy Misc/pairs.thy Misc/Option2.thy \
+ Misc/types.thy Misc/prime_def.thy Misc/case_exprs.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