src/HOL/Library/AList_Mapping.thy

--- a/src/HOL/Library/AList_Mapping.thy	Fri Feb 15 11:47:33 2013 +0100
+++ b/src/HOL/Library/AList_Mapping.thy	Fri Feb 15 11:47:34 2013 +0100
@@ -59,7 +59,7 @@
 proof -
   have aux: "\<And>a b xs. (a, b) \<in> set xs \<Longrightarrow> a \<in> fst ` set xs"
     by (auto simp add: image_def intro!: bexI)
-  show ?thesis apply transfer 
+  show ?thesis apply transfer
   by (auto intro!: map_of_eqI) (auto dest!: map_of_eq_dom intro: aux)
 qed