equal
deleted
inserted
replaced
250 |
250 |
251 ## HOL-IMPP |
251 ## HOL-IMPP |
252 |
252 |
253 HOL-IMPP: HOL $(LOG)/HOL-IMPP.gz |
253 HOL-IMPP: HOL $(LOG)/HOL-IMPP.gz |
254 |
254 |
255 $(LOG)/HOL-IMPP.gz: $(OUT)/HOL IMPP/ROOT.ML IMPP/Com.thy IMPP/Com.ML \ |
255 $(LOG)/HOL-IMPP.gz: $(OUT)/HOL IMPP/ROOT.ML IMPP/Com.thy \ |
256 IMPP/Natural.thy IMPP/Natural.ML IMPP/Hoare.thy IMPP/Hoare.ML \ |
256 IMPP/Natural.thy IMPP/Hoare.thy IMPP/Misc.thy IMPP/EvenOdd.thy |
257 IMPP/Misc.thy IMPP/Misc.ML IMPP/EvenOdd.thy IMPP/EvenOdd.ML |
|
258 @$(ISATOOL) usedir $(OUT)/HOL IMPP |
257 @$(ISATOOL) usedir $(OUT)/HOL IMPP |
259 |
258 |
260 |
259 |
261 ## HOL-Complex-Import |
260 ## HOL-Complex-Import |
262 |
261 |