1.1 --- a/doc-src/TutorialI/IsaMakefile	Tue Sep 05 13:12:00 2000 +0200
     1.2 +++ b/doc-src/TutorialI/IsaMakefile	Tue Sep 05 13:53:39 2000 +0200
     1.3 @@ -100,9 +100,8 @@
     1.4  $(LOG)/HOL-Misc.gz: $(OUT)/HOL Misc/ROOT.ML Misc/Tree.thy Misc/Tree2.thy \
     1.5    Misc/fakenat.thy Misc/natsum.thy Misc/pairs.thy Misc/types.thy \
     1.6    Misc/prime_def.thy Misc/case_exprs.thy \
     1.7 -  Misc/arith1.thy Misc/arith2.thy Misc/arith3.thy Misc/arith4.thy \
     1.8 -  Misc/def_rewr.thy Misc/let_rewr.thy Misc/cond_rewr.thy Misc/case_splits.thy \
     1.9 -  Misc/trace_simp.thy Misc/Itrev.thy Misc/AdvancedInd.thy Misc/asm_simp.thy
    1.10 +  Misc/arith1.thy Misc/arith2.thy Misc/arith3.thy \
    1.11 +  Misc/simp.thy Misc/Itrev.thy Misc/AdvancedInd.thy
    1.12  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Misc
    1.13  	@rm -f tutorial.dvi
    1.14