equal
deleted
inserted
replaced
86 |
86 |
87 ## HOL-IMP |
87 ## HOL-IMP |
88 |
88 |
89 HOL-IMP: HOL $(LOG)/HOL-IMP.gz |
89 HOL-IMP: HOL $(LOG)/HOL-IMP.gz |
90 |
90 |
91 $(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.ML IMP/Com.thy IMP/Denotation.ML \ |
91 $(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.thy IMP/Denotation.ML \ |
92 IMP/Denotation.thy IMP/Expr.ML IMP/Expr.thy IMP/Hoare.ML IMP/Hoare.thy \ |
92 IMP/Denotation.thy IMP/Expr.ML IMP/Expr.thy IMP/Hoare.ML IMP/Hoare.thy \ |
93 IMP/Natural.ML IMP/Natural.thy IMP/ROOT.ML IMP/Transition.ML \ |
93 IMP/Natural.ML IMP/Natural.thy IMP/ROOT.ML IMP/Transition.ML \ |
94 IMP/Transition.thy IMP/VC.ML IMP/VC.thy |
94 IMP/Transition.thy IMP/VC.ML IMP/VC.thy |
95 @$(ISATOOL) usedir $(OUT)/HOL IMP |
95 @$(ISATOOL) usedir $(OUT)/HOL IMP |
96 |
96 |