# HG changeset patch
# User huffman
# Date 1258646937 28800
# Node ID 685bbf418cb77b87398b1278cacb34d2c02d0089
# Parent  cdb3ca1a765d5b4cc505e3f99e3721493f6cca2f
add new makefile dependencies

diff -r cdb3ca1a765d -r 685bbf418cb7 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