author | wenzelm |
Thu, 27 Dec 2001 16:44:43 +0100 | |
changeset 12599 | 8bc47cf91bf6 |
parent 12598 | fa556d3fe5f2 |
child 12600 | 30ec65eaaf5f |
--- 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