| changeset 12433 | 654acbf26fcc |
| parent 12035 | f2ee4b5d02f2 |
| child 12599 | 8bc47cf91bf6 |
--- a/src/HOLCF/IsaMakefile Sun Dec 09 14:36:14 2001 +0100 +++ b/src/HOLCF/IsaMakefile Sun Dec 09 14:37:42 2001 +0100 @@ -46,7 +46,7 @@ HOLCF-IMP: HOLCF $(LOG)/HOLCF-IMP.gz -$(LOG)/HOLCF-IMP.gz: $(OUT)/HOLCF IMP/Denotational.ML \ +$(LOG)/HOLCF-IMP.gz: $(OUT)/HOLCF IMP/HoareEx.thy \ IMP/Denotational.thy IMP/ROOT.ML @$(ISATOOL) usedir $(OUT)/HOLCF IMP