# HG changeset patch
# User wenzelm
# Date 1315407814 -7200
# Node ID 210b127e0b03cd3ed80a0e551e2582c226bae16e
# Parent  a13cdb1e9e08811dfc4a7861f7a1e27a76e2ebff
clarified import;

diff -r a13cdb1e9e08 -r 210b127e0b03 src/HOL/HOLCF/Representable.thy
--- a/src/HOL/HOLCF/Representable.thy	Wed Sep 07 16:53:49 2011 +0200
+++ b/src/HOL/HOLCF/Representable.thy	Wed Sep 07 17:03:34 2011 +0200
@@ -5,7 +5,7 @@
 header {* Representable domains *}
 
 theory Representable
-imports Algebraic Map_Functions Countable
+imports Algebraic Map_Functions "~~/src/HOL/Library/Countable"
 begin
 
 default_sort cpo