src/HOL/Library/RBT_Mapping.thy
2012-04-13 Andreas Lochbihler 2012-04-13 move RBT implementation into type class contexts
2011-06-01 bulwahn 2011-06-01 splitting RBT theory into RBT and RBT_Mapping