src/HOLCF/Bifinite.thy

--- a/src/HOLCF/Bifinite.thy	Wed Nov 10 14:59:52 2010 -0800
+++ b/src/HOLCF/Bifinite.thy	Wed Nov 10 17:56:08 2010 -0800
@@ -5,7 +5,7 @@
 header {* Bifinite domains *}
 
 theory Bifinite
-imports Algebraic Cprod Sprod Ssum Up Lift One Tr Countable
+imports Algebraic Map_Functions Countable
 begin
 
 subsection {* Class of bifinite domains *}