
diff -r c23b42730b9b -r c4d3d65856dd src/HOLCF/HOLCF.thy
--- a/src/HOLCF/HOLCF.thy	Sun Feb 28 14:05:21 2010 -0800
+++ b/src/HOLCF/HOLCF.thy	Sun Feb 28 14:55:42 2010 -0800
@@ -6,8 +6,10 @@
 
 theory HOLCF
 imports
-  Domain ConvexPD Algebraic Universal Sum_Cpo Main
-  Representable
+  Main
+  Domain
+  Powerdomains
+  Sum_Cpo
 uses
   "holcf_logic.ML"
   "Tools/adm_tac.ML"




