| changeset 12610 | 8b9845807f77 |
| parent 12606 | cf1715a5f5ec |
| child 12667 | 7e6eaaa125f2 |
| 12609:fb073a34b537 | 12610:8b9845807f77 |
|---|---|
82 |
82 |
83 ## ZF-IMP |
83 ## ZF-IMP |
84 |
84 |
85 ZF-IMP: ZF $(LOG)/ZF-IMP.gz |
85 ZF-IMP: ZF $(LOG)/ZF-IMP.gz |
86 |
86 |
87 $(LOG)/ZF-IMP.gz: $(OUT)/ZF IMP/Com.thy \ |
87 $(LOG)/ZF-IMP.gz: $(OUT)/ZF IMP/Com.thy IMP/Denotation.thy IMP/Equiv.thy \ |
88 IMP/Denotation.thy IMP/Equiv.thy IMP/ROOT.ML |
88 IMP/ROOT.ML IMP/document/root.bib IMP/document/root.tex |
89 @$(ISATOOL) usedir $(OUT)/ZF IMP |
89 @$(ISATOOL) usedir $(OUT)/ZF IMP |
90 |
90 |
91 |
91 |
92 ## ZF-Resid |
92 ## ZF-Resid |
93 |
93 |