--- 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