changeset 41413 | 64cd30d6b0b8 |
parent 41407 | 2878845bc549 |
child 41426 | 09615ed31f04 |
--- a/src/HOL/IsaMakefile Wed Dec 29 13:51:17 2010 +0100 +++ b/src/HOL/IsaMakefile Wed Dec 29 17:34:41 2010 +0100 @@ -1524,7 +1524,7 @@ HOLCF-FOCUS: HOLCF $(LOG)/HOLCF-FOCUS.gz -$(LOG)/HOLCF-FOCUS.gz: $(OUT)/HOLCF \ +$(LOG)/HOLCF-FOCUS.gz: $(OUT)/HOLCF HOLCF/FOCUS/ROOT.ML \ HOLCF/Library/Stream.thy \ HOLCF/FOCUS/Fstreams.thy \ HOLCF/FOCUS/Fstream.thy \