src/HOLCF/Domain_Aux.thy

--- a/src/HOLCF/Domain_Aux.thy	Wed Nov 10 14:59:52 2010 -0800
+++ b/src/HOLCF/Domain_Aux.thy	Wed Nov 10 17:56:08 2010 -0800
@@ -5,7 +5,7 @@
 header {* Domain package support *}
 
 theory Domain_Aux
-imports Ssum Sprod Fixrec
+imports Map_Functions Fixrec
 uses
   ("Tools/Domain/domain_take_proofs.ML")
 begin