| changeset 12599 | 8bc47cf91bf6 |
| parent 12433 | 654acbf26fcc |
| child 14535 | 7cb26928e70d |
--- a/src/HOLCF/IsaMakefile Thu Dec 27 16:44:29 2001 +0100 +++ b/src/HOLCF/IsaMakefile Thu Dec 27 16:44:43 2001 +0100 @@ -47,7 +47,7 @@ HOLCF-IMP: HOLCF $(LOG)/HOLCF-IMP.gz $(LOG)/HOLCF-IMP.gz: $(OUT)/HOLCF IMP/HoareEx.thy \ - IMP/Denotational.thy IMP/ROOT.ML + IMP/Denotational.thy IMP/ROOT.ML IMP/document/root.tex @$(ISATOOL) usedir $(OUT)/HOLCF IMP