src/HOL/Library/RBT_Impl.thy
2010-06-28 ago merged constants "split" and "prod_case"
2010-06-18 ago prefer fold over foldl
2010-04-16 ago replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
2010-04-15 ago theory RBT with abstract type of red-black trees backed by implementation RBT_Impl