--- a/src/HOLCF/IsaMakefile Fri Jun 03 23:13:45 2005 +0200
+++ b/src/HOLCF/IsaMakefile Fri Jun 03 23:14:09 2005 +0200
@@ -29,8 +29,8 @@
$(OUT)/HOLCF: $(OUT)/HOL Adm.thy Cfun.ML Cfun.thy \
Cont.ML Cont.thy Cprod.ML Cprod.thy \
- Discrete.thy Domain.thy Fix.ML Fix.thy FunCpo.ML \
- FunCpo.thy HOLCF.ML HOLCF.thy Lift.ML \
+ Discrete.thy Domain.thy Fix.ML Fix.thy Ffun.ML \
+ Ffun.thy HOLCF.ML HOLCF.thy Lift.ML \
Lift.thy One.ML One.thy Pcpo.ML Pcpo.thy Porder.ML Porder.thy \
ROOT.ML Sprod.ML Sprod.thy \
Ssum.ML Ssum.thy \