equal
deleted
inserted
replaced
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 \ |
100 $(LOG)/HOL-Misc.gz: $(OUT)/HOL Misc/ROOT.ML Misc/Tree.thy Misc/Tree2.thy \ |
101 Misc/fakenat.thy Misc/natsum.thy Misc/pairs.thy Misc/types.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/prime_def.thy Misc/case_exprs.thy \ |
103 Misc/arith1.thy Misc/arith2.thy Misc/arith3.thy Misc/arith4.thy \ |
103 Misc/arith1.thy Misc/arith2.thy Misc/arith3.thy \ |
104 Misc/def_rewr.thy Misc/let_rewr.thy Misc/cond_rewr.thy Misc/case_splits.thy \ |
104 Misc/simp.thy Misc/Itrev.thy Misc/AdvancedInd.thy |
105 Misc/trace_simp.thy Misc/Itrev.thy Misc/AdvancedInd.thy Misc/asm_simp.thy |
|
106 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Misc |
105 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Misc |
107 @rm -f tutorial.dvi |
106 @rm -f tutorial.dvi |
108 |
107 |
109 |
108 |
110 ## clean |
109 ## clean |