# HG changeset patch
# User wenzelm
# Date 1159479773 -7200
# Node ID 69f83b886422d58171fe8db6b8da6a9858566adf
# Parent  8f947ffb5eb8078d149a29bfff5ac00ea348e13b
removed obsolete HOLCF.ML;

diff -r 8f947ffb5eb8 -r 69f83b886422 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Thu Sep 28 23:42:50 2006 +0200
+++ b/src/HOLCF/IsaMakefile	Thu Sep 28 23:42:53 2006 +0200
@@ -29,7 +29,7 @@
 
 $(OUT)/HOLCF: $(OUT)/HOL Adm.thy Cfun.thy Cont.thy	\
   Cprod.thy Discrete.thy Domain.thy Fix.thy Fixrec.thy	\
-  Ffun.thy HOLCF.ML HOLCF.thy Lift.thy One.thy	\
+  Ffun.thy HOLCF.thy Lift.thy One.thy	\
   Pcpo.thy Porder.thy ROOT.ML Sprod.thy	\
   Ssum.thy Tr.thy Pcpodef.thy pcpodef_package.ML	\
   Up.thy adm_tac.ML cont_consts.ML cont_proc.ML fixrec_package.ML	\