equal
deleted
inserted
replaced
96 ## HOL-Misc |
96 ## HOL-Misc |
97 |
97 |
98 HOL-Misc: HOL $(LOG)/HOL-Misc.gz |
98 HOL-Misc: HOL $(LOG)/HOL-Misc.gz |
99 |
99 |
100 $(LOG)/HOL-Misc.gz: $(OUT)/HOL Misc/ROOT.ML Misc/Tree.thy Misc/Tree2.thy Misc/cases.thy \ |
100 $(LOG)/HOL-Misc.gz: $(OUT)/HOL Misc/ROOT.ML Misc/Tree.thy Misc/Tree2.thy Misc/cases.thy \ |
101 Misc/fakenat.thy Misc/natsum.thy Misc/pairs.thy Misc/types.thy Misc/prime_def.thy \ |
101 Misc/fakenat.thy Misc/natsum.thy Misc/pairs.thy Misc/types.thy \ |
|
102 Misc/prime_def.thy Misc/case_exprs.thy \ |
102 Misc/arith1.thy Misc/arith2.thy Misc/arith3.thy Misc/arith4.thy \ |
103 Misc/arith1.thy Misc/arith2.thy Misc/arith3.thy Misc/arith4.thy \ |
103 Misc/def_rewr.thy Misc/let_rewr.thy Misc/cond_rewr.thy Misc/case_splits.thy \ |
104 Misc/def_rewr.thy Misc/let_rewr.thy Misc/cond_rewr.thy Misc/case_splits.thy \ |
104 Misc/trace_simp.thy Misc/Itrev.thy Misc/AdvancedInd.thy Misc/asm_simp.thy |
105 Misc/trace_simp.thy Misc/Itrev.thy Misc/AdvancedInd.thy Misc/asm_simp.thy |
105 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Misc |
106 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Misc |
106 @rm -f tutorial.dvi |
107 @rm -f tutorial.dvi |