# HG changeset patch
# User haftmann
# Date 1246270737 -7200
# Node ID c04f8c51d0aba04c03b32509f79b8e2cc3726448
# Parent  e81d0f04ffdf947c2ae5b1c25504bfbfa7fc3134
hide popular names

diff -r e81d0f04ffdf -r c04f8c51d0ab src/HOL/Library/List_Set.thy
--- a/src/HOL/Library/List_Set.thy	Mon Jun 29 12:18:56 2009 +0200
+++ b/src/HOL/Library/List_Set.thy	Mon Jun 29 12:18:57 2009 +0200
@@ -160,4 +160,7 @@
   "A \<inter> B = project (\<lambda>x. x \<in> A) B"
   by (auto simp add: project_def)
 
+
+hide (open) const insert
+
 end
\ No newline at end of file