src/HOL/Library/AList_Mapping.thy
Wed, 10 Aug 2016 14:50:59 +0200 wenzelm tuned proofs;
Wed, 13 Jul 2016 19:02:23 +0200 wenzelm tuned;
Tue, 12 Jul 2016 15:45:32 +0200 wenzelm misc tuning and modernization;
Wed, 01 Jun 2016 13:48:34 +0200 eberlm Tuned code equations for mappings and PMFs
Tue, 31 May 2016 13:02:44 +0200 eberlm Added code generation for PMFs
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Fri, 06 Feb 2015 17:57:03 +0100 haftmann default abstypes and default abstract equations make technical (no_code) annotation superfluous
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Sun, 03 Aug 2014 17:38:59 +0200 wenzelm tuned whitespace;
Fri, 15 Feb 2013 11:47:34 +0100 haftmann attempt to re-establish conventions which theories are loaded into the grand unified library theory;
Thu, 18 Oct 2012 15:52:33 +0200 kuncar update RBT_Mapping, AList_Mapping and Mapping to use lifting/transfer
Tue, 17 Jan 2012 10:45:42 +0100 bulwahn renaming theory AList_Impl back to AList (reverting 1fec5b365f9b; AList with distinct key invariant is called DAList)
Tue, 10 Jan 2012 15:48:10 +0100 bulwahn proper hiding of facts and constants in AList_Impl and AList theory
Wed, 14 Dec 2011 16:30:32 +0100 bulwahn correcting dependencies after renaming
Tue, 13 Sep 2011 09:28:03 +0200 bulwahn correcting theory name and dependencies
Mon, 12 Sep 2011 10:57:58 +0200 bulwahn moving connection of association lists to Mappings into a separate theory
less more (0) tip