--- a/src/HOL/HOLCF/IsaMakefile Wed Jun 22 16:35:31 2011 +0200
+++ b/src/HOL/HOLCF/IsaMakefile Wed Jun 22 13:30:28 2011 -0700
@@ -135,6 +135,7 @@
$(LOG)/HOLCF-ex.gz: $(OUT)/HOLCF \
../Library/Nat_Infinity.thy \
+ ex/Concurrency_Monad.thy \
ex/Dagstuhl.thy \
ex/Dnat.thy \
ex/Domain_Proofs.thy \