src/HOL/Library/AList_Mapping.thy
Mon, 12 Sep 2011 10:57:58 +0200 bulwahn moving connection of association lists to Mappings into a separate theory
less more (0) tip