# HG changeset patch
# User huffman
# Date 1117833249 -7200
# Node ID 91fad2051da5e8d0da7c317b09b153e9d92d00d7
# Parent  fdec9cc28ccd245a4521dee96a8419f5cefcbe70
renamed FunCpo to Ffun

diff -r fdec9cc28ccd -r 91fad2051da5 src/HOLCF/IsaMakefile
--- 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 \