src/HOL/Library/RBT_Mapping.thy
2016-08-10 wenzelm 2016-08-10 tuned proofs;
2016-05-31 eberlm 2016-05-31 Added code generation for PMFs
2016-02-23 nipkow 2016-02-23 more canonical names
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-06-07 wenzelm 2015-06-07 tuned whitespace;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-03-10 kuncar 2014-03-10 hide implementation details
2013-03-16 kuncar 2013-03-16 drop a workaround because of 8739f8abbecb
2013-03-08 kuncar 2013-03-08 convert mappings to parametric lifting
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