--- a/src/HOL/HOLCF/IsaMakefile Sat Dec 11 11:26:37 2010 -0800
+++ b/src/HOL/HOLCF/IsaMakefile Sat Dec 11 21:27:53 2010 -0800
@@ -104,7 +104,14 @@
$(LOG)/HOLCF-Library.gz: $(OUT)/HOLCF \
Library/Defl_Bifinite.thy \
+ Library/Bool_Discrete.thy \
+ Library/Char_Discrete.thy \
+ Library/HOL_Cpo.thy \
+ Library/Int_Discrete.thy \
Library/List_Cpo.thy \
+ Library/List_Predomain.thy \
+ Library/Nat_Discrete.thy \
+ Library/Option_Cpo.thy \
Library/Stream.thy \
Library/Sum_Cpo.thy \
Library/HOLCF_Library.thy \