src/HOL/HOLCF/Domain.thy

--- a/src/HOL/HOLCF/Domain.thy	Fri Dec 17 16:43:45 2010 -0800
+++ b/src/HOL/HOLCF/Domain.thy	Sun Dec 19 04:06:02 2010 -0800
@@ -5,7 +5,7 @@
 header {* Domain package *}
 
 theory Domain
-imports Bifinite Domain_Aux
+imports Representable Domain_Aux
 uses
   ("Tools/domaindef.ML")
   ("Tools/Domain/domain_isomorphism.ML")