hide popular names R and B
authorhaftmann
Wed Dec 08 13:34:50 2010 +0100 (2010-12-08)
changeset 41074286255f131bf
parent 41073 07b454783ed8
child 41075 4bed56dc95fb
hide popular names R and B
src/HOL/Library/RBT_Impl.thy
     1.1 --- a/src/HOL/Library/RBT_Impl.thy	Wed Dec 08 08:33:04 2010 +0100
     1.2 +++ b/src/HOL/Library/RBT_Impl.thy	Wed Dec 08 13:34:50 2010 +0100
     1.3 @@ -1079,6 +1079,6 @@
     1.4    then show ?thesis by (simp add: bulkload_def lookup_Empty foldr_fold_rev)
     1.5  qed
     1.6  
     1.7 -hide_const (open) Empty insert delete entries keys bulkload lookup map_entry map fold union sorted
     1.8 +hide_const (open) R B Empty insert delete entries keys bulkload lookup map_entry map fold union sorted
     1.9  
    1.10  end