src/HOLCF/IsaMakefile

--- a/src/HOLCF/IsaMakefile	Thu Nov 19 08:00:42 2009 -0800
+++ b/src/HOLCF/IsaMakefile	Thu Nov 19 08:08:57 2009 -0800
@@ -52,6 +52,7 @@
   Pcpo.thy \
   Porder.thy \
   Product_Cpo.thy \
+  Representable.thy \
   Sprod.thy \
   Ssum.thy \
   Sum_Cpo.thy \
@@ -69,6 +70,7 @@
   Tools/Domain/domain_theorems.ML \
   Tools/fixrec.ML \
   Tools/pcpodef.ML \
+  Tools/repdef.ML \
   holcf_logic.ML \
   document/root.tex
 	@$(ISABELLE_TOOL) usedir -b -g true -r $(OUT)/HOL HOLCF