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 newly introduced constants
authorhaftmann
Wed, 23 Sep 2009 11:33:52 +0200
changeset 32647 e54f47f9e28b
parent 32646 962b4354ed90
child 32649 442e03154ee6
child 32652 3175e23b79f3
child 32655 dd84779cd191
child 32700 e743ca6e97e7
hide newly introduced constants
src/HOL/Library/Executable_Set.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Executable_Set.thy	Tue Sep 22 11:26:46 2009 +0200
+++ b/src/HOL/Library/Executable_Set.thy	Wed Sep 23 11:33:52 2009 +0200
@@ -85,4 +85,6 @@
   card                ("{*Fset.card*}")
   fold                ("{*foldl o flip*}")
 
+hide (open) const subset eq_set Inter Union flip
+
 end
\ No newline at end of file
isabelle