1.1 --- a/doc-src/TutorialI/IsaMakefile	Wed Oct 11 09:09:06 2000 +0200
     1.2 +++ b/doc-src/TutorialI/IsaMakefile	Wed Oct 11 10:44:42 2000 +0200
     1.3 @@ -89,7 +89,7 @@
     1.4  
     1.5  $(LOG)/HOL-Recdef.gz: $(OUT)/HOL Recdef/ROOT.ML Recdef/examples.thy Recdef/termination.thy \
     1.6    Recdef/simplification.thy Recdef/Induction.thy \
     1.7 -  Recdef/Nested0.thy Recdef/Nested1.thy Recdef/Nested2.thy Recdef/WFrec.thy
     1.8 +  Recdef/Nested0.thy Recdef/Nested1.thy Recdef/Nested2.thy
     1.9  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Recdef
    1.10  	@rm -f tutorial.dvi
    1.11  
    1.12 @@ -98,7 +98,7 @@
    1.13  
    1.14  HOL-Advanced: HOL $(LOG)/HOL-Advanced.gz
    1.15  
    1.16 -$(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp.thy Advanced/ROOT.ML
    1.17 +$(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp.thy Advanced/ROOT.ML Advanced/WFrec.thy
    1.18  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Advanced
    1.19  	@rm -f tutorial.dvi
    1.20