src/HOL/Library/RBT_Mapping.thy
2013-02-15 haftmann 2013-02-15 attempt to re-establish conventions which theories are loaded into the grand unified library theory; four different code generation tests for different code setup constellations; augment code generation setup where necessary
2012-10-18 kuncar 2012-10-18 update RBT_Mapping, AList_Mapping and Mapping to use lifting/transfer
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