| changeset 12433 | 654acbf26fcc |
| parent 12035 | f2ee4b5d02f2 |
| child 12599 | 8bc47cf91bf6 |
| 12432:90b0fc84f8d9 | 12433:654acbf26fcc |
|---|---|
44 |
44 |
45 ## HOLCF-IMP |
45 ## HOLCF-IMP |
46 |
46 |
47 HOLCF-IMP: HOLCF $(LOG)/HOLCF-IMP.gz |
47 HOLCF-IMP: HOLCF $(LOG)/HOLCF-IMP.gz |
48 |
48 |
49 $(LOG)/HOLCF-IMP.gz: $(OUT)/HOLCF IMP/Denotational.ML \ |
49 $(LOG)/HOLCF-IMP.gz: $(OUT)/HOLCF IMP/HoareEx.thy \ |
50 IMP/Denotational.thy IMP/ROOT.ML |
50 IMP/Denotational.thy IMP/ROOT.ML |
51 @$(ISATOOL) usedir $(OUT)/HOLCF IMP |
51 @$(ISATOOL) usedir $(OUT)/HOLCF IMP |
52 |
52 |
53 |
53 |
54 ## HOLCF-ex |
54 ## HOLCF-ex |