1.1 --- a/doc-src/TutorialI/IsaMakefile Tue Aug 29 12:28:48 2000 +0200
1.2 +++ b/doc-src/TutorialI/IsaMakefile Tue Aug 29 15:13:10 2000 +0200
1.3 @@ -98,7 +98,8 @@
1.4 HOL-Misc: HOL $(LOG)/HOL-Misc.gz
1.5
1.6 $(LOG)/HOL-Misc.gz: $(OUT)/HOL Misc/ROOT.ML Misc/Tree.thy Misc/Tree2.thy Misc/cases.thy \
1.7 - Misc/fakenat.thy Misc/natsum.thy Misc/pairs.thy Misc/types.thy Misc/prime_def.thy \
1.8 + Misc/fakenat.thy Misc/natsum.thy Misc/pairs.thy Misc/types.thy \
1.9 + Misc/prime_def.thy Misc/case_exprs.thy \
1.10 Misc/arith1.thy Misc/arith2.thy Misc/arith3.thy Misc/arith4.thy \
1.11 Misc/def_rewr.thy Misc/let_rewr.thy Misc/cond_rewr.thy Misc/case_splits.thy \
1.12 Misc/trace_simp.thy Misc/Itrev.thy Misc/AdvancedInd.thy Misc/asm_simp.thy