src/HOL/Library/RBT_Mapping.thy
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Fri, 22 Jun 2018 20:31:49 +0200 wenzelm clarified document antiquotation @{theory};
Wed, 10 Aug 2016 14:50:59 +0200 wenzelm tuned proofs;
Tue, 31 May 2016 13:02:44 +0200 eberlm Added code generation for PMFs
Tue, 23 Feb 2016 16:25:08 +0100 nipkow more canonical names
Thu, 05 Nov 2015 10:39:49 +0100 wenzelm isabelle update_cartouches -c -t;
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 07 Jun 2015 12:43:06 +0200 wenzelm tuned whitespace;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Mon, 10 Mar 2014 17:14:57 +0100 kuncar hide implementation details
Sat, 16 Mar 2013 20:51:47 +0100 kuncar drop a workaround because of 8739f8abbecb
Fri, 08 Mar 2013 13:21:58 +0100 kuncar convert mappings to parametric lifting
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
Fri, 13 Apr 2012 11:45:30 +0200 Andreas Lochbihler move RBT implementation into type class contexts
Wed, 01 Jun 2011 09:10:13 +0200 bulwahn splitting RBT theory into RBT and RBT_Mapping
less more (0) tip