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 popular names R and B
authorhaftmann
Wed, 08 Dec 2010 13:34:50 +0100
changeset 41074 286255f131bf
parent 41073 07b454783ed8
child 41075 4bed56dc95fb
hide popular names R and B
src/HOL/Library/RBT_Impl.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/RBT_Impl.thy	Wed Dec 08 08:33:04 2010 +0100
+++ b/src/HOL/Library/RBT_Impl.thy	Wed Dec 08 13:34:50 2010 +0100
@@ -1079,6 +1079,6 @@
   then show ?thesis by (simp add: bulkload_def lookup_Empty foldr_fold_rev)
 qed
 
-hide_const (open) Empty insert delete entries keys bulkload lookup map_entry map fold union sorted
+hide_const (open) R B Empty insert delete entries keys bulkload lookup map_entry map fold union sorted
 
 end
isabelle