changeset 41854 | b2b5b965b59c |
parent 41852 | 9aae2eed4696 |
child 41892 | 2386fb64feaf |
--- a/src/HOL/IsaMakefile Sat Feb 26 17:44:42 2011 +0100 +++ b/src/HOL/IsaMakefile Sat Feb 26 20:16:44 2011 +0100 @@ -1583,6 +1583,7 @@ HOLCF-FOCUS: HOLCF $(LOG)/HOLCF-FOCUS.gz $(LOG)/HOLCF-FOCUS.gz: $(OUT)/HOLCF HOLCF/FOCUS/ROOT.ML \ + Library/Nat_Infinity.thy \ HOLCF/Library/Stream.thy \ HOLCF/FOCUS/Fstreams.thy \ HOLCF/FOCUS/Fstream.thy \