src/HOL/HOLCF/IsaMakefile

--- a/src/HOL/HOLCF/IsaMakefile	Fri Dec 17 16:43:45 2010 -0800
+++ b/src/HOL/HOLCF/IsaMakefile	Sun Dec 19 04:06:02 2010 -0800
@@ -37,7 +37,6 @@
   ROOT.ML \
   Adm.thy \
   Algebraic.thy \
-  Bifinite.thy \
   Cfun.thy \
   Compact_Basis.thy \
   Completion.thy \
@@ -62,6 +61,7 @@
   Porder.thy \
   Powerdomains.thy \
   Product_Cpo.thy \
+  Representable.thy \
   Sfun.thy \
   Sprod.thy \
   Ssum.thy \