diff -r 72fcf0832cfe -r aa8474398030 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Tue Oct 23 14:00:06 2007 +0200
+++ b/src/HOLCF/IsaMakefile	Tue Oct 23 22:48:25 2007 +0200
@@ -34,7 +34,7 @@
   Tools/domain/domain_extender.ML Tools/domain/domain_axioms.ML			\
   Tools/domain/domain_library.ML Tools/domain/domain_syntax.ML			\
   Tools/domain/domain_theorems.ML Tools/fixrec_package.ML			\
-  Tools/pcpodef_package.ML Tr.thy Up.thy document/root.tex ex/Stream.thy	\
+  Tools/pcpodef_package.ML Tr.thy Up.thy document/root.tex	\
   holcf_logic.ML
 	@$(ISATOOL) usedir -b -g true -r $(OUT)/HOL HOLCF
 
@@ -52,7 +52,7 @@
 
 HOLCF-ex: HOLCF $(LOG)/HOLCF-ex.gz
 
-$(LOG)/HOLCF-ex.gz: $(OUT)/HOLCF ex/Dagstuhl.thy \
+$(LOG)/HOLCF-ex.gz: $(OUT)/HOLCF ex/Stream.thy ex/Dagstuhl.thy \
   ex/Dnat.thy ex/Fix2.thy ex/Focus_ex.thy ex/Hoare.thy ex/Loop.thy \
   ex/ROOT.ML ex/Fixrec_ex.thy ../HOL/Library/Nat_Infinity.thy
 	@$(ISATOOL) usedir $(OUT)/HOLCF ex