# HG changeset patch
# User huffman
# Date 1214868524 -7200
# Node ID e93b937ca933d5261efdb5181831f20d775f41af
# Parent  60fad3219d324dc75437161874dfb7739ce46072
add file dependencies

diff -r 60fad3219d32 -r e93b937ca933 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Tue Jul 01 01:28:07 2008 +0200
+++ b/src/HOLCF/IsaMakefile	Tue Jul 01 01:28:44 2008 +0200
@@ -27,11 +27,12 @@
 HOL:
 	@cd $(SRC)/HOL; $(ISATOOL) make HOL
 
-$(OUT)/HOLCF: $(OUT)/HOL Adm.thy Bifinite.thy Cfun.thy			\
-  CompactBasis.thy Cont.thy ConvexPD.thy Cprod.thy Discrete.thy		\
-  Domain.thy Ffun.thy Fixrec.thy Fix.thy HOLCF.thy Lift.thy		\
-  LowerPD.thy One.thy Pcpodef.thy Pcpo.thy Porder.thy			\
-  Sprod.thy Ssum.thy Tr.thy UpperPD.thy Up.thy ROOT.ML			\
+$(OUT)/HOLCF: $(OUT)/HOL Adm.thy Algebraic.thy Bifinite.thy Cfun.thy	\
+  CompactBasis.thy Completion.thy Cont.thy ConvexPD.thy Cprod.thy	\
+  Discrete.thy Deflation.thy Domain.thy Eventual.thy Ffun.thy		\
+  Fixrec.thy Fix.thy HOLCF.thy Lift.thy LowerPD.thy NatIso.thy		\
+  One.thy Pcpodef.thy Pcpo.thy Porder.thy Sprod.thy Ssum.thy Tr.thy	\
+  Universal.thy UpperPD.thy Up.thy ROOT.ML				\
   Tools/adm_tac.ML Tools/cont_consts.ML Tools/cont_proc.ML		\
   Tools/domain/domain_extender.ML Tools/domain/domain_axioms.ML		\
   Tools/domain/domain_library.ML Tools/domain/domain_syntax.ML		\