--- 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 \