--- a/src/HOL/IsaMakefile Sun Dec 19 04:06:02 2010 -0800
+++ b/src/HOL/IsaMakefile Sun Dec 19 05:15:31 2010 -0800
@@ -1404,6 +1404,7 @@
HOLCF/ROOT.ML \
HOLCF/Adm.thy \
HOLCF/Algebraic.thy \
+ HOLCF/Bifinite.thy \
HOLCF/Cfun.thy \
HOLCF/Compact_Basis.thy \
HOLCF/Completion.thy \