Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
hide not_member as also member
authorhaftmann
Sun, 16 Oct 2011 14:48:00 +0200
changeset 45152 e877b76c72bd
parent 45151 2dd44cd8f963
child 45153 93e290c11b0f
hide not_member as also member
src/HOL/Set.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Set.thy	Sat Oct 15 20:40:13 2011 +0200
+++ b/src/HOL/Set.thy	Sun Oct 16 14:48:00 2011 +0200
@@ -1764,7 +1764,7 @@
 lemma vimage_code [code]: "(f -` A) x = A (f x)"
   by (simp add: vimage_def Collect_def mem_def)
 
-hide_const (open) member
+hide_const (open) member not_member
 
 text {* Misc theorem and ML bindings *}
isabelle