src/HOL/Library/AList_Mapping.thy

--- a/src/HOL/Library/AList_Mapping.thy	Wed Dec 14 16:30:30 2011 +0100
+++ b/src/HOL/Library/AList_Mapping.thy	Wed Dec 14 16:30:32 2011 +0100
@@ -5,7 +5,7 @@
 header {* Implementation of mappings with Association Lists *}
 
 theory AList_Mapping
-imports AList Mapping
+imports AList_Impl Mapping
 begin
 
 definition Mapping :: "('a \<times> 'b) list \<Rightarrow> ('a, 'b) mapping" where