src/HOL/Set.thy
changeset 45152 e877b76c72bd
parent 45121 5e495ccf6e56
child 45607 16b4f5774621
     1.1 --- a/src/HOL/Set.thy	Sat Oct 15 20:40:13 2011 +0200
     1.2 +++ b/src/HOL/Set.thy	Sun Oct 16 14:48:00 2011 +0200
     1.3 @@ -1764,7 +1764,7 @@
     1.4  lemma vimage_code [code]: "(f -` A) x = A (f x)"
     1.5    by (simp add: vimage_def Collect_def mem_def)
     1.6  
     1.7 -hide_const (open) member
     1.8 +hide_const (open) member not_member
     1.9  
    1.10  text {* Misc theorem and ML bindings *}
    1.11