src/HOLCF/IsaMakefile

--- a/src/HOLCF/IsaMakefile	Wed Jan 14 18:18:48 2009 -0800
+++ b/src/HOLCF/IsaMakefile	Wed Jan 14 18:22:43 2009 -0800
@@ -39,7 +39,6 @@
   Discrete.thy \
   Deflation.thy \
   Domain.thy \
-  Dsum.thy \
   Eventual.thy \
   Ffun.thy \
   Fixrec.thy \
@@ -55,6 +54,7 @@
   Product_Cpo.thy \
   Sprod.thy \
   Ssum.thy \
+  Sum_Cpo.thy \
   Tr.thy \
   Universal.thy \
   UpperPD.thy \