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