src/HOL/Library/AList_Mapping.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-02-06 haftmann 2015-02-06 default abstypes and default abstract equations make technical (no_code) annotation superfluous
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-08-03 wenzelm 2014-08-03 tuned whitespace;
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-01-17 bulwahn 2012-01-17 renaming theory AList_Impl back to AList (reverting 1fec5b365f9b; AList with distinct key invariant is called DAList)
2012-01-10 bulwahn 2012-01-10 proper hiding of facts and constants in AList_Impl and AList theory
2011-12-14 bulwahn 2011-12-14 correcting dependencies after renaming
2011-09-13 bulwahn 2011-09-13 correcting theory name and dependencies
2011-09-12 bulwahn 2011-09-12 moving connection of association lists to Mappings into a separate theory