equal
deleted
inserted
replaced
149 |
149 |
150 HOL-IMP: HOL $(LOG)/HOL-IMP.gz |
150 HOL-IMP: HOL $(LOG)/HOL-IMP.gz |
151 |
151 |
152 $(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.thy IMP/Denotation.ML \ |
152 $(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.thy IMP/Denotation.ML \ |
153 IMP/Denotation.thy IMP/Expr.ML IMP/Expr.thy IMP/Hoare.ML IMP/Hoare.thy \ |
153 IMP/Denotation.thy IMP/Expr.ML IMP/Expr.thy IMP/Hoare.ML IMP/Hoare.thy \ |
154 IMP/Natural.ML IMP/Natural.thy IMP/Example.thy IMP/ROOT.ML IMP/Transition.ML \ |
154 IMP/Natural.ML IMP/Natural.thy IMP/Examples.thy IMP/ROOT.ML IMP/Transition.ML\ |
155 IMP/Transition.thy IMP/VC.ML IMP/VC.thy |
155 IMP/Transition.thy IMP/VC.ML IMP/VC.thy |
156 @$(ISATOOL) usedir $(OUT)/HOL IMP |
156 @$(ISATOOL) usedir $(OUT)/HOL IMP |
157 |
157 |
158 |
158 |
159 ## HOL-IMPP |
159 ## HOL-IMPP |