equal
deleted
inserted
replaced
224 |
224 |
225 ## HOL-IMP |
225 ## HOL-IMP |
226 |
226 |
227 HOL-IMP: HOL $(LOG)/HOL-IMP.gz |
227 HOL-IMP: HOL $(LOG)/HOL-IMP.gz |
228 |
228 |
229 $(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.thy IMP/Compiler.thy IMP/Denotation.ML \ |
229 $(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.thy IMP/Compiler.thy \ |
230 IMP/Denotation.thy IMP/Expr.ML IMP/Expr.thy IMP/Hoare.ML IMP/Hoare.thy \ |
230 IMP/Denotation.thy IMP/Expr.thy IMP/Hoare.thy \ |
231 IMP/Natural.ML IMP/Natural.thy IMP/Examples.ML IMP/Examples.thy \ |
231 IMP/Natural.thy IMP/Examples.thy \ |
232 IMP/Transition.ML IMP/Transition.thy IMP/VC.ML IMP/VC.thy IMP/ROOT.ML |
232 IMP/Transition.thy IMP/VC.thy IMP/ROOT.ML IMP/document/root.tex \ |
|
233 IMP/document/root.bib |
233 @$(ISATOOL) usedir $(OUT)/HOL IMP |
234 @$(ISATOOL) usedir $(OUT)/HOL IMP |
234 |
235 |
235 |
236 |
236 ## HOL-IMPP |
237 ## HOL-IMPP |
237 |
238 |