src/HOL/Library/List_Set.thy
changeset 31851 c04f8c51d0ab
parent 31846 89c37daebfdd
child 32880 b8bee63c7202
--- 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