src/HOL/Library/AList.thy

--- a/src/HOL/Library/AList.thy	Tue Jan 10 10:48:39 2012 +0100
+++ b/src/HOL/Library/AList.thy	Tue Jan 10 15:48:10 2012 +0100
@@ -173,6 +173,7 @@
 
 hide_const valterm_empty valterm_update random_aux_alist
 
+hide_fact (open) lookup_def empty_def update_def delete_def map_entry_def filter_def map_default_def
 hide_const (open) impl_of lookup empty update delete map_entry filter map_default 
 
 end
\ No newline at end of file